Java Node.getSize方法代码示例

import org.semanticweb.owlapi.reasoner.Node; //导入方法依赖的package包/类
protected NodeSet<OWLClass> atomicConceptHierarchyNodesToNodeSet(
		Collection<HierarchyNode<AtomicConcept>> hierarchyNodes) {
	Set<Node<OWLClass>> result = new HashSet<Node<OWLClass>>();
	for (HierarchyNode<AtomicConcept> hierarchyNode : hierarchyNodes) {
		Node<OWLClass> node = atomicConceptHierarchyNodeToNode(hierarchyNode);
		if (node.getSize() != 0)
			result.add(node);
	}
	return new OWLClassNodeSet(result);
}
 

import org.semanticweb.owlapi.reasoner.Node; //导入方法依赖的package包/类
protected NodeSet<OWLClass> owlClassHierarchyNodesToNodeSet(Collection<HierarchyNode<OWLClass>> hierarchyNodes) {
    Set<Node<OWLClass>> result=new HashSet<Node<OWLClass>>();
    for (HierarchyNode<OWLClass> hierarchyNode : hierarchyNodes) {
        Node<OWLClass> node=owlClassHierarchyNodeToNode(hierarchyNode);
        if (node.getSize()!=0)
            result.add(node);
    }
    return new OWLClassNodeSet(result);
}
 

import org.semanticweb.owlapi.reasoner.Node; //导入方法依赖的package包/类
public ConsistencyReport performConsistencyChecks(){

		if(graph == null){
			return new ConsistencyReport("The ontology is not set.");
		}

		OWLOntology ont = graph.getSourceOntology();
		reasoner = getReasoner(ont);
		long t1 = System.currentTimeMillis();

		logInfo("Consistency check started............");
		boolean consistent = reasoner.isConsistent();

		logInfo("Is the ontology consistent ....................." + consistent + ", " + (System.currentTimeMillis()-t1)/100);

		List<String> errors = new ArrayList<String>();
		Set<OWLEntity> unsatisfiable = new HashSet<OWLEntity>();
		if(!consistent){
			errors.add("The ontology '" + graph.getOntologyId() + " ' is not consistent");
		}

		// We can easily get a list of unsatisfiable classes.  (A class is unsatisfiable if it
		// can't possibly have any instances).  Note that the getunsatisfiableClasses method
		// is really just a convenience method for obtaining the classes that are equivalent
		// to owl:Nothing.
		OWLClass nothing = graph.getDataFactory().getOWLNothing();
		Node<OWLClass> unsatisfiableClasses = reasoner.getUnsatisfiableClasses();
		if (unsatisfiableClasses.getSize() > 0) {
			for(OWLClass cls : unsatisfiableClasses.getEntities()) {
				logInfo("unsat: "+cls.getIRI());
				if (cls.equals(nothing)) {
					// nothing to see here, move along
					continue;
				}
				StringBuilder sb = new StringBuilder();
				sb.append("Unsatisfiable: ").append(graph.getIdentifier(cls));
				String lbl = graph.getLabel(cls);
				if (lbl != null) {
					sb.append(" '").append(lbl).append("'");
				}
				errors.add(sb.toString());
				unsatisfiable.add(cls);
			}
		}


		return new ConsistencyReport(errors, unsatisfiable);

	}