Java OWLClassAssertionAxiom类代码示例

OStack程序员社区-中国程序员成长平台 › 门户 › 编程› Java›Java编程经验

原作者: [db:作者] 来自: [db:来源] 收藏邀请

本文整理汇总了Java中org.semanticweb.owlapi.model.OWLClassAssertionAxiom类的典型用法代码示例。如果您正苦于以下问题：Java OWLClassAssertionAxiom类的具体用法？Java OWLClassAssertionAxiom怎么用？Java OWLClassAssertionAxiom使用的例子？那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。

OWLClassAssertionAxiom类属于org.semanticweb.owlapi.model包，在下文中一共展示了OWLClassAssertionAxiom类的20个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于我们的系统推荐出更棒的Java代码示例。

示例1: createIndividualInternal

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
private static Pair<OWLNamedIndividual, Set<OWLAxiom>> createIndividualInternal(IRI iri, OWLOntology abox, OWLClassExpression ce, Set<OWLAnnotation> annotations) {
	LOG.info("Generating individual for IRI: "+iri);
	OWLDataFactory f = abox.getOWLOntologyManager().getOWLDataFactory();
	OWLNamedIndividual i = f.getOWLNamedIndividual(iri);
	
	// create axioms
	Set<OWLAxiom> axioms = new HashSet<OWLAxiom>();
	// declaration
	axioms.add(f.getOWLDeclarationAxiom(i));
	// annotation assertions
	if(annotations != null) {
		for(OWLAnnotation annotation : annotations) {
			axioms.add(f.getOWLAnnotationAssertionAxiom(iri, annotation));
		}
	}
	
	if (ce != null) {
		OWLClassAssertionAxiom typeAxiom = createType(f, i, ce);
		if (typeAxiom != null) {
			axioms.add(typeAxiom);
		}
	}
	
	return Pair.of(i, axioms);
}

开发者ID:geneontology，项目名称:minerva，代码行数:26，代码来源:CoreMolecularModelManager.java

示例2: addNegatedAttributeToObject

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
/**
 * Asserts that the given individual is an instance of the complement of the given type.
 * @param type the given type
 * @param indObj the given individual about which the assertion will be made
 * @return <code>true</code> if the assertion is successful
 */
@Override
public boolean addNegatedAttributeToObject(OWLClass type,IndividualObject indObj) {
	OWLClassAssertionAxiom axiom = getFactory().getOWLClassAssertionAxiom(
			ELIndividualObject.getComplement(getOntology(), type),
			indObj.getIdentifier());
	AddAxiom  addAxiom = new AddAxiom(getOntology(),axiom); 
	try {
		getManager().applyChange(addAxiom);
		reClassifyOntology();
		updateObjects(Constants.AFTER_MODIFICATION);
		updateObjectDescriptions(Constants.AFTER_MODIFICATION);
	}
	catch (OWLOntologyChangeException e) {
		e.printStackTrace();
		System.exit(-1);
	}
	getHistory().push(new ClassAssertionChange(this,addAxiom,indObj.getIdentifier(),type,true));
	return true;
}

开发者ID:julianmendez，项目名称:ontocomplib，代码行数:26，代码来源:ELIndividualContext.java

示例3: addIndividualToOntology

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
/**
 * Adds a given individual to the ontology as an instance of <code>Thing</code>
 * @param object the given object to be added
 * @return <code>true</code> if the object is successfully added
 */
// @Override
public boolean addIndividualToOntology(OWLNamedIndividual object) {
	OWLClassAssertionAxiom axiom = getFactory().getOWLClassAssertionAxiom(getFactory().getOWLThing(), object);
	AddAxiom  addAxiom = new AddAxiom(getOntology(),axiom); 
	Set<OWLClass> attrs = new HashSet<OWLClass>();
	try {
		getManager().applyChange(addAxiom);
		reClassifyOntology();
		IndividualObject indObj = createIndividualObject(object);
		indObj.updateDescription(Constants.AFTER_MODIFICATION);
		addObject(indObj);
	}
	catch (OWLOntologyChangeException e) {
		e.printStackTrace();
		System.exit(-1);
	}
	attrs.add(getFactory().getOWLThing());
	getHistory().push(new NewIndividualChange(this,addAxiom,object,attrs));
	return true;
}

开发者ID:julianmendez，项目名称:ontocomplib，代码行数:26，代码来源:IndividualContext.java

示例4: addAttributeToObject

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
/**
 * Asserts that the given individual is an instance of the given type.
 * @param type the given type
 * @param indObj the given individual about which the assertion will be made
 * @return <code>true</code> if the assertion is successful
 */
public boolean addAttributeToObject(OWLClass type,IndividualObject indObj) {
	OWLClassAssertionAxiom axiom = getFactory().getOWLClassAssertionAxiom(type, indObj.getIdentifier());
	AddAxiom  addAxiom = new AddAxiom(getOntology(),axiom); 
	try {
		getManager().applyChange(addAxiom);
		reClassifyOntology();
		updateObjects(Constants.AFTER_MODIFICATION);
		updateObjectDescriptions(Constants.AFTER_MODIFICATION);
	}
	catch (OWLOntologyChangeException e) {
		e.printStackTrace();
		System.exit(-1);
	}
	getHistory().push(new ClassAssertionChange(this,addAxiom,indObj.getIdentifier(),type,false));
	return true;
}

开发者ID:julianmendez，项目名称:ontocomplib，代码行数:23，代码来源:IndividualContext.java

示例5: addNegatedAttributeToObject

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
/**
 * Asserts that the given individual is an instance of the complement of the given type.
 * @param type the given type
 * @param indObj the given individual about which the assertion will be made
 * @return <code>true</code> if the assertion is successful
 */
public boolean addNegatedAttributeToObject(OWLClass type,IndividualObject indObj) {
	OWLClassAssertionAxiom axiom = getFactory().getOWLClassAssertionAxiom(getFactory().getOWLObjectComplementOf(type), indObj.getIdentifier());
	AddAxiom  addAxiom = new AddAxiom(getOntology(),axiom); 
	try {
		getManager().applyChange(addAxiom);
		reClassifyOntology();
		updateObjects(Constants.AFTER_MODIFICATION);
		updateObjectDescriptions(Constants.AFTER_MODIFICATION);
	}
	catch (OWLOntologyChangeException e) {
		e.printStackTrace();
		System.exit(-1);
	}
	getHistory().push(new ClassAssertionChange(this,addAxiom,indObj.getIdentifier(),type,true));
	return true;
}

开发者ID:julianmendez，项目名称:ontocomplib，代码行数:23，代码来源:IndividualContext.java

示例6: undo

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
public void undo() {
	OWLClassAssertionAxiom axiom = null;
	if (isTypePlus) {
		axiom = theContext.getFactory().getOWLClassAssertionAxiom(changedType, candidate);
	}
	else {
		axiom = theContext.getFactory().getOWLClassAssertionAxiom( 
				theContext.getFactory().getOWLObjectComplementOf(changedType), candidate);
	}
	RemoveAxiom  removeAxiom = new RemoveAxiom(theContext.getOntology(),axiom); 
	try {
		theContext.getManager().applyChange(removeAxiom);
	}
	catch (OWLOntologyChangeException e) {
		e.printStackTrace();
		System.exit(-1);
	}
}

开发者ID:julianmendez，项目名称:ontocomplib，代码行数:19，代码来源:CounterExampleCandidateDescriptionChange.java

示例7: getTypes

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
public NodeSet<OWLClass> getTypes(OWLNamedIndividual ind, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException {
    ensurePrepared();
    DefaultNodeSet<OWLClass> result = new OWLClassNodeSet();
    for (OWLOntology ontology : getRootOntology().getImportsClosure()) {
        for (OWLClassAssertionAxiom axiom : ontology.getClassAssertionAxioms(ind)) {
            OWLClassExpression ce = axiom.getClassExpression();
            if (!ce.isAnonymous()) {
                result.addNode(classHierarchyInfo.getEquivalents(ce.asOWLClass()));
                if (!direct) {
                    result.addAllNodes(getSuperClasses(ce, false).getNodes());
                }
            }
        }
    }
    return result;
}

开发者ID:ernestojimenezruiz，项目名称:logmap-matcher，代码行数:17，代码来源:StructuralReasoner2.java

示例8: isSatisfiable

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
public boolean isSatisfiable(OWLClassExpression classExpression) {
	checkPreConditions(classExpression);
	if (!isConsistent())
		return false;
	if (classExpression instanceof OWLClass
			&& m_atomicConceptHierarchy != null) {
		AtomicConcept concept = H((OWLClass) classExpression);
		HierarchyNode<AtomicConcept> node = m_atomicConceptHierarchy
				.getNodeForElement(concept);
		return node != m_atomicConceptHierarchy.getBottomNode();
	} else {
		OWLDataFactory factory = getDataFactory();
		OWLIndividual freshIndividual = factory
				.getOWLAnonymousIndividual("fresh-individual");
		OWLClassAssertionAxiom assertClassExpression = factory
				.getOWLClassAssertionAxiom(classExpression, freshIndividual);
		Tableau tableau = getTableau(assertClassExpression);
		return tableau.isSatisfiable(true, null, null, null, null, null,
				ReasoningTaskDescription
						.isConceptSatisfiable(classExpression));
	}
}

开发者ID:robertoyus，项目名称:HermiT-android，代码行数:23，代码来源:Reasoner.java

示例9: visit

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
public Boolean visit(OWLDatatypeDefinitionAxiom axiom) {
    reasoner.throwInconsistentOntologyExceptionIfNecessary();
    if (!reasoner.isConsistent())
        return true;
    if (reasoner.m_dlOntology.hasDatatypes()) {
        OWLDataFactory factory=reasoner.getDataFactory();
        OWLIndividual freshIndividual=factory.getOWLAnonymousIndividual("fresh-individual");
        OWLDataProperty freshDataProperty=factory.getOWLDataProperty(IRI.create("fresh-data-property"));
        OWLDataRange dataRange=axiom.getDataRange();
        OWLDatatype dt=axiom.getDatatype();
        OWLDataIntersectionOf dr1=factory.getOWLDataIntersectionOf(factory.getOWLDataComplementOf(dataRange),dt);
        OWLDataIntersectionOf dr2=factory.getOWLDataIntersectionOf(factory.getOWLDataComplementOf(dt),dataRange);
        OWLDataUnionOf union=factory.getOWLDataUnionOf(dr1,dr2);
        OWLClassExpression c=factory.getOWLDataSomeValuesFrom(freshDataProperty,union);
        OWLClassAssertionAxiom ax=factory.getOWLClassAssertionAxiom(c,freshIndividual);
        Tableau tableau=reasoner.getTableau(ax);
        return !tableau.isSatisfiable(true,true,null,null,null,null,null,ReasoningTaskDescription.isAxiomEntailed(axiom));
    }
    else
        return false;
}

开发者ID:robertoyus，项目名称:HermiT-android，代码行数:22，代码来源:EntailmentChecker.java

示例10: removeDangningAnnotations

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
@CLIMethod("--remove-dangling-annotations")
public void removeDangningAnnotations(Opts opts) throws Exception {
	OWLOntology ont = g.getSourceOntology();
	int n = 0;
	Set<OWLAxiom> rmAxioms = new HashSet<OWLAxiom>();
	for (OWLNamedIndividual i : ont.getIndividualsInSignature()) {
		for (OWLClassAssertionAxiom ca : ont.getClassAssertionAxioms(i)) {
			OWLClassExpression cx = ca.getClassExpression();
			if (cx instanceof OWLClass) {
				OWLClass c = (OWLClass) cx;
				String label = g.getLabel(c);
				if (label == null)
					rmAxioms.add(ca);
				else
					n++;
			}
		}
	}
	LOG.info("Removing " + rmAxioms.size() + " axioms");
	ont.getOWLOntologyManager().removeAxioms(ont, rmAxioms);
	LOG.info("Remaining: " + n + " axioms");
}

开发者ID:owlcollab，项目名称:owltools，代码行数:23，代码来源:Sim2CommandRunner.java

示例11: materializeClassExpressionsReferencedBy

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
public Set<OWLClass> materializeClassExpressionsReferencedBy(OWLObjectProperty p) {
	Set<OWLClassExpression> xs = new HashSet<OWLClassExpression>();
	for (OWLAxiom ax : outputOntology.getReferencingAxioms(p, Imports.INCLUDED)) {
		if (ax instanceof OWLSubClassOfAxiom) {
			xs.addAll(getClassExpressionReferencedBy(p, ((OWLSubClassOfAxiom)ax).getSuperClass()));
		}
		else if (ax instanceof OWLClassAssertionAxiom) {
			xs.addAll(getClassExpressionReferencedBy(p, ((OWLClassAssertionAxiom)ax).getClassExpression()));
		}
		else if (ax instanceof OWLEquivalentClassesAxiom) {
			for (OWLClassExpression x : ((OWLEquivalentClassesAxiom)ax).getClassExpressions()) {
				xs.addAll(getClassExpressionReferencedBy(p,x));
			}
		}
	}
	return materializeClassExpressions(xs);
}

开发者ID:owlcollab，项目名称:owltools，代码行数:18，代码来源:AbstractSimPreProcessor.java

示例12: randomizeClassAssertions

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
public static void randomizeClassAssertions(OWLOntology ont, int num) {
	Set<OWLClassAssertionAxiom> caas = new HashSet<OWLClassAssertionAxiom>();
	Set<OWLClassAssertionAxiom> caasNew = new HashSet<OWLClassAssertionAxiom>();
		Set<OWLNamedIndividual> inds = ont.getIndividualsInSignature(Imports.INCLUDED);
	OWLNamedIndividual[] indArr = (OWLNamedIndividual[]) inds.toArray();
	for (OWLNamedIndividual ind : inds) {
		caas.addAll( ont.getClassAssertionAxioms(ind) );
	}
	for (OWLClassAssertionAxiom caa : caas) {
		OWLIndividual randomIndividual = null;
		caasNew.add(ont.getOWLOntologyManager().getOWLDataFactory().getOWLClassAssertionAxiom(caa.getClassExpression(), 
				randomIndividual));
	}
	ont.getOWLOntologyManager().removeAxioms(ont, caas);
	ont.getOWLOntologyManager().addAxioms(ont, caasNew);
}

开发者ID:owlcollab，项目名称:owltools，代码行数:17，代码来源:ABoxUtils.java

示例13: makeHasPhenotypeInstancesDirect

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
protected void makeHasPhenotypeInstancesDirect() {
	// x Type has_phenotype some C ==> x Type C
	LOG.info("x Type has_phenotype some C ==> x Type C");
	OWLObjectProperty hasPhenotype = getOWLObjectPropertyViaOBOSuffix(HAS_PHENOTYPE);
	Set<OWLAxiom> rmAxioms = new HashSet<OWLAxiom>();
	Set<OWLAxiom> newAxioms = new HashSet<OWLAxiom>();
	for (OWLClassAssertionAxiom caa : outputOntology.getAxioms(AxiomType.CLASS_ASSERTION)) {
		OWLClassExpression ex = caa.getClassExpression();
		OWLIndividual i = caa.getIndividual();
		if (ex instanceof OWLObjectSomeValuesFrom) {
			OWLObjectSomeValuesFrom svf = (OWLObjectSomeValuesFrom)ex;
			if (svf.getProperty().equals(hasPhenotype)) {
				rmAxioms.add(caa);
				newAxioms.add(getOWLDataFactory().getOWLClassAssertionAxiom(svf.getFiller(), i));
			}

		}
	}
	LOG.info("making instances direct: +"+newAxioms.size()+ " -"+rmAxioms.size());
	addAxiomsToOutput(newAxioms, false);
	removeAxiomsFromOutput(rmAxioms, false);
}

开发者ID:owlcollab，项目名称:owltools，代码行数:23，代码来源:PhenoSimHQEPreProcessor.java

示例14: visit

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
public void visit(OWLClassAssertionAxiom classAssertion) {
	OWLIndividual individual = classAssertion.getIndividual();
	OWLClassExpression classExpression = classAssertion.getClassExpression();
	
	if (!classExpression.isAnonymous()) {
		OWLClass namedClass = classExpression.asOWLClass();
		
		writer.print(namedClass.getIRI().getFragment());
		writer.print("(");
		writer.print(IRI.create(individual.toStringID()).getFragment());
		writer.print(").\n");
	}
	else {
		
	}
}

开发者ID:wolpertinger-reasoner，项目名称:Wolpertinger，代码行数:17，代码来源:NiceAxiomPrinter.java

示例15: createIndividual

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
/**
 * Create an individual of a given type
 * 
 * @param individual
 *            the individual signature
 * @param type
 *            individual type
 */

public void createIndividual(final String individual, final String type) {
	OWLDataFactory factory = ontology.getOWLOntologyManager()
			.getOWLDataFactory();

	OWLClass clazz = factory.getOWLClass(IRI.create(type));

	OWLNamedIndividual ind = factory.getOWLNamedIndividual(IRI
			.create(individual));
	OWLClassAssertionAxiom assertion = factory.getOWLClassAssertionAxiom(
			clazz, ind);
	final List<OWLOntologyChange> owlOntologyChanges = ontology
			.getOWLOntologyManager().addAxiom(ontology, assertion);
	manager.applyChanges(owlOntologyChanges);
	reasoner.flush();
}

开发者ID:edlectrico，项目名称:Pellet4Android，代码行数:25，代码来源:OntologyManager.java

示例16: addIndividualMembership

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
/**
 * Add a new class membership to an individual
 * 
 * @param individual
 *            the individual signature
 * @param type
 *            individual type
 */

public void addIndividualMembership(final String individual,
		final String type) {
	OWLDataFactory factory = ontology.getOWLOntologyManager()
			.getOWLDataFactory();

	OWLClass clazz = factory.getOWLClass(IRI.create(type));

	OWLNamedIndividual ind = factory.getOWLNamedIndividual(IRI
			.create(individual));
	OWLClassAssertionAxiom assertion = factory.getOWLClassAssertionAxiom(
			clazz, ind);
	final List<OWLOntologyChange> owlOntologyChanges = ontology
			.getOWLOntologyManager().addAxiom(ontology, assertion);
	manager.applyChanges(owlOntologyChanges);
	reasoner.flush();
}

开发者ID:edlectrico，项目名称:Pellet4Android，代码行数:26，代码来源:OntologyManager.java

示例17: removeIndividualMembership

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
/**
 * Remove class membership from an individual
 * 
 * @param individual
 *            the individual signature
 * @param type
 *            individual type
 */
//
public void removeIndividualMembership(final String individual,
		final String type) {
	OWLDataFactory factory = ontology.getOWLOntologyManager()
			.getOWLDataFactory();

	OWLClass clazz = factory.getOWLClass(IRI.create(type));

	OWLNamedIndividual ind = factory.getOWLNamedIndividual(IRI
			.create(individual));
	OWLClassAssertionAxiom assertion = factory.getOWLClassAssertionAxiom(
			clazz, ind);
	final List<OWLOntologyChange> owlOntologyChanges = ontology
			.getOWLOntologyManager().removeAxiom(ontology, assertion);
	manager.applyChanges(owlOntologyChanges);
	reasoner.flush();
}

开发者ID:edlectrico，项目名称:Pellet4Android，代码行数:26，代码来源:OntologyManager.java

示例18: converterPpiOWL

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
/**
 * Genera los axiomas correspondientes a un PPI
 * 
 * @param element Objeto del modelo del PPI
 * @param bpmn20ModelHandler Manejador del modelo BPMN correspondiente al mismo proceso del PPI
 * @return Objeto OWL de la medida
 * @throws Exception
 */
void converterPpiOWL(PPI element, Bpmn20ModelHandlerInterface bpmn20ModelHandler) throws Exception {
	
	String ppiId = element.getId();
	
	MeasureDefinition measuredBy = element.getMeasuredBy();
	String measureId = measuredBy.getId();
	
	// adiciona el axioma que indica la clase del PPI
    OWLNamedIndividual ppiIndividual = factory.getOWLNamedIndividual( IRI.create(ppinotGeneratedOntologyURI+"#"+ppiId) );
    OWLClass ppiClass = factory.getOWLClass( IRI.create(Vocabulary.PPI_URI));
    OWLClassAssertionAxiom ppiClassAxiom = factory.getOWLClassAssertionAxiom(ppiClass, ppiIndividual);
    manager.addAxiom(ontology, ppiClassAxiom);
	
	// adiciona el axioma con la relacion entre el PPI y la medida
	OWLObjectPropertyExpression definition = factory.getOWLObjectProperty(IRI.create(Vocabulary.DEFINITION_URI));
	OWLNamedIndividual measureIndividual = factory.getOWLNamedIndividual( IRI.create(ppinotGeneratedOntologyURI+"#"+measureId) );
	OWLObjectPropertyAssertionAxiom definitionAxiom = factory.getOWLObjectPropertyAssertionAxiom(definition, ppiIndividual, measureIndividual);
	manager.addAxiom(ontology, definitionAxiom);
}

开发者ID:isa-group，项目名称:ppinot，代码行数:28，代码来源:GeneratePpinotAxioms.java

示例19: hasType

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
public boolean hasType(OWLClassExpression type, OWLNamedIndividual individual) {
	boolean ret = false;
	Set<OWLClassAssertionAxiom> set = getContext().getReasoner().getRootOntology().getClassAssertionAxioms(individual);
	for (OWLClassAssertionAxiom axiom : set) {
		ret = ret || getContext().isSubClassOf(axiom.getClassExpression(), type);
	}
	return ret;
}

开发者ID:julianmendez，项目名称:ontocomplib，代码行数:9，代码来源:IndividualObject.java

示例20: getSvfTypes

import org.semanticweb.owlapi.model.OWLClassAssertionAxiom; //导入依赖的package包/类
private Set<OWLObjectSomeValuesFrom> getSvfTypes(OWLNamedIndividual i, OWLOntology model) {
	Set<OWLClassAssertionAxiom> axioms = model.getClassAssertionAxioms(i);
	final Set<OWLObjectSomeValuesFrom> svfs = new HashSet<OWLObjectSomeValuesFrom>();
	for (OWLClassAssertionAxiom axiom : axioms) {
		axiom.getClassExpression().accept(new OWLClassExpressionVisitorAdapter(){

			@Override
			public void visit(OWLObjectSomeValuesFrom svf) {
				svfs.add(svf);
			}
		});
	}
	return svfs;
}

开发者ID:geneontology，项目名称:minerva，代码行数:15，代码来源:LegoModelWalker.java

注：本文中的org.semanticweb.owlapi.model.OWLClassAssertionAxiom类示例整理自Github/MSDocs等源码及文档管理平台，相关代码片段筛选自各路编程大神贡献的开源项目，源码版权归原作者所有，传播和使用请参考对应项目的License；未经允许，请勿转载。