Java OWLLogicalAxiom类的典型用法和代码示例

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

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

示例1: getSubConcepts

import org.semanticweb.owlapi.model.OWLLogicalAxiom; //导入依赖的package包/类
/**
 * Get sub-concepts of an ontology
 * @param ont	Ontology
 * @param sc	Set of subconcepts
 * @return Updated set of subconcepts
 */
protected Set<OWLClassExpression> getSubConcepts(OWLOntology ont, Set<OWLClassExpression> sc) {
	Set<OWLLogicalAxiom> axs = ont.getLogicalAxioms();
	for(OWLAxiom ax : axs) {
		Set<OWLClassExpression> ax_sc = ax.getNestedClassExpressions();
		for(OWLClassExpression ce : ax_sc) {
			if(!sc.contains(ce) && !ce.isOWLThing() && !ce.isOWLNothing()) {
				if(ce.isAnonymous() && sigma.containsAll(ce.getClassesInSignature())) {
					sc.add(ce); getSubConcepts(ce, sc);
				}
			}
		}
	}
	return sc;
}

开发者ID:rsgoncalves，
项目名称:ecco，
代码行数:21，
代码来源:SubconceptDiff.java

示例2: getSubConcepts

import org.semanticweb.owlapi.model.OWLLogicalAxiom; //导入依赖的package包/类
/**
 * Get sub-concepts of an ontology
 * @param ont	Ontology
 * @param sc	Set of subconcepts
 * @return Updated set of subconcepts
 */
private Set<OWLClassExpression> getSubConcepts(OWLOntology ont, Set<OWLClassExpression> sc) {
	Set<OWLLogicalAxiom> axs = ont.getLogicalAxioms();
	for(OWLAxiom ax : axs) {
		Set<OWLClassExpression> ax_sc = ax.getNestedClassExpressions();
		for(OWLClassExpression ce : ax_sc) {
			if(!sc.contains(ce) && !ce.isOWLThing() && !ce.isOWLNothing()) {
				if(ce.isAnonymous()) {
					sc.add(ce); getSubConcepts(ce, sc);
				}
			}
		}
	}
	return sc;
}

开发者ID:rsgoncalves，
项目名称:ecco，
代码行数:21，
代码来源:Diff.java

示例3: applyToReasoner

import org.semanticweb.owlapi.model.OWLLogicalAxiom; //导入依赖的package包/类
private void applyToReasoner(Set<OWLLogicalAxiom> axioms, boolean add) {
	List<OWLOntologyChange> changes = add ? manager.addAxioms(initial, axioms) : manager.removeAxioms(initial, axioms);
	
	manager.applyChanges(changes);
	reasoner.flush();
}

开发者ID:liveontologies，
项目名称:elk-reasoner，
代码行数:7，
代码来源:OWLAPIIncrementalClassificationMultiDeltas.java

示例4: printLogicalAxioms

import org.semanticweb.owlapi.model.OWLLogicalAxiom; //导入依赖的package包/类
private static void printLogicalAxioms(Set<OWLLogicalAxiom> logicalAxioms) {
	System.out.println("ALL LOGICAL AXIOMS (" + logicalAxioms.size() + ")");

}

开发者ID:ag-csw，
项目名称:SVoNt，
代码行数:5，
代码来源:OWLApiTest.java