• 如果您觉得本站非常有看点,那么赶紧使用Ctrl+D 收藏吧

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

java 1次浏览

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

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

示例1: getSubConcepts

点赞 2

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

点赞 2

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

点赞 2

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

点赞 1

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


版权声明:本文转自网络文章,转载此文章仅为分享知识,如有侵权,请联系管理员进行删除。
喜欢 (0)