@Override public Set<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() { Set<OWLSubClassOfAxiom> result = new HashSet<>(); List<OWLClassExpression> list = getClassExpressionsAsList(); for (int i = 0; i < list.size() - 1; i++) { for (int j = i + 1; j < list.size(); j++) { result.add(new OWLSubClassOfAxiomImpl(list.get(i), list.get(j).getObjectComplementOf(), NO_ANNOTATIONS)); } } return result; } }
@Override public Set<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() { Set<OWLSubClassOfAxiom> result = new HashSet<OWLSubClassOfAxiom>(); List<OWLClassExpression> list = getClassExpressionsAsList(); for (int i = 0; i < list.size() - 1; i++) { for (int j = i + 1; j < list.size(); j++) { result.add(new OWLSubClassOfAxiomImpl(list.get(i), list.get(j) .getObjectComplementOf(), NO_ANNOTATIONS)); } } return result; } }
public Set<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() { Set<OWLSubClassOfAxiom> result = new HashSet<OWLSubClassOfAxiom>(); List<OWLClassExpression> list = getClassExpressionsAsList(); for(int i = 0; i < list.size() - 1; i++) { for(int j = i + 1; j < list.size(); j++) { result.add(getOWLDataFactory().getOWLSubClassOfAxiom(list.get(i), list.get(j).getObjectComplementOf())); } } return result; } }
@Override public Set<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() { List<OWLClassExpression> nominalsList = new ArrayList<OWLClassExpression>(); for (OWLIndividual individual : getIndividuals()) { nominalsList.add(new OWLObjectOneOfImpl(Collections.singleton(individual))); } Set<OWLSubClassOfAxiom> result = new HashSet<OWLSubClassOfAxiom>(); for (int i = 0; i < nominalsList.size() - 1; i++) { for (int j = i + 1; j < nominalsList.size(); j++) { OWLClassExpression ceI = nominalsList.get(i); OWLClassExpression ceJ = nominalsList.get(j).getObjectComplementOf(); result.add(new OWLSubClassOfAxiomImpl(ceI, ceJ, NO_ANNOTATIONS)); } } return result; }
@Override public Collection<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() { return walkAllPairwise( (a, b) -> new OWLSubClassOfAxiomImpl(a, b.getObjectComplementOf(), NO_ANNOTATIONS)); } }
@Override public Collection<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() { return walkAllPairwise( (a, b) -> new OWLSubClassOfAxiomImpl(a, b.getObjectComplementOf(), NO_ANNOTATIONS)); } }
public Set<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() { List<OWLClassExpression> nominalsList = new ArrayList<OWLClassExpression>(); for(OWLIndividual individual : getIndividuals()) { nominalsList.add(getOWLDataFactory().getOWLObjectOneOf(individual)); } Set<OWLSubClassOfAxiom> result = new HashSet<OWLSubClassOfAxiom>(); for(int i = 0; i < nominalsList.size() - 1; i++) { for(int j = i + 1; j < nominalsList.size(); j++) { OWLClassExpression ceI = nominalsList.get(i); OWLClassExpression ceJ = nominalsList.get(j).getObjectComplementOf(); result.add(getOWLDataFactory().getOWLSubClassOfAxiom(ceI, ceJ)); } } return result; }
@Override public Collection<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() { return walkAllPairwise( (a, b) -> new OWLSubClassOfAxiomImpl(a, b.getObjectComplementOf(), NO_ANNOTATIONS)); } }
@Override public Collection<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() { return walkAllPairwise( (a, b) -> new OWLSubClassOfAxiomImpl(a, b.getObjectComplementOf(), NO_ANNOTATIONS)); } }
@Override public Set<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() { List<OWLClassExpression> nominalsList = new ArrayList<>(); for (OWLIndividual individual : getIndividuals()) { assert individual != null; nominalsList.add(new OWLObjectOneOfImpl(CollectionFactory .createSet(individual))); } Set<OWLSubClassOfAxiom> result = new HashSet<>(); for (int i = 0; i < nominalsList.size() - 1; i++) { for (int j = i + 1; j < nominalsList.size(); j++) { OWLClassExpression ceI = nominalsList.get(i); OWLClassExpression ceJ = nominalsList.get(j) .getObjectComplementOf(); assert ceI != null; assert ceJ != null; result.add(new OWLSubClassOfAxiomImpl(ceI, ceJ, NO_ANNOTATIONS)); } } return result; }
OWLAxiom queryClassDefinition=factory.getOWLSubClassOfAxiom(queryClass,classExpression.getObjectComplementOf()); AtomicConcept queryConcept=AtomicConcept.create("internal:query-concept"); Set<HierarchyNode<AtomicConcept>> visitedNodes=new HashSet<HierarchyNode<AtomicConcept>>(hierarchyNode.getChildNodes());
OWLAxiom queryClassDefinition=factory.getOWLSubClassOfAxiom(queryClass,classExpression.getObjectComplementOf()); AtomicConcept queryConcept=AtomicConcept.create("internal:query-concept"); Set<HierarchyNode<AtomicConcept>> visitedNodes=new HashSet<>(hierarchyNode.getChildNodes());
Node<OWLClass> equivalentToComplement=getEquivalentClasses(classExpression.getObjectComplementOf()); NodeSet<OWLClass> subsDisjoint=getSubClasses(classExpression.getObjectComplementOf(),false); Set<Node<OWLClass>> result=new HashSet<Node<OWLClass>>(); if (equivalentToComplement.getSize()>0)
Node<OWLClass> equivalentToComplement=getEquivalentClasses(classExpression.getObjectComplementOf()); NodeSet<OWLClass> subsDisjoint=getSubClasses(classExpression.getObjectComplementOf(),false); Set<Node<OWLClass>> result=new HashSet<>(); if (equivalentToComplement.getSize()>0)
OWLAxiom negatedAssertionAxiom=factory.getOWLClassAssertionAxiom(type.getObjectComplementOf(),namedIndividual); Tableau tableau=getTableau(negatedAssertionAxiom); boolean result=tableau.isSatisfiable(true,true,null,null,null,null,null,ReasoningTaskDescription.isInstanceOf(namedIndividual,type));
OWLIndividual freshIndividual=factory.getOWLAnonymousIndividual("fresh-individual"); OWLClassAssertionAxiom assertSubClassExpression=factory.getOWLClassAssertionAxiom(subClassExpression,freshIndividual); OWLClassAssertionAxiom assertNotSuperClassExpression=factory.getOWLClassAssertionAxiom(superClassExpression.getObjectComplementOf(),freshIndividual); Tableau tableau=getTableau(assertSubClassExpression,assertNotSuperClassExpression); boolean result=tableau.isSatisfiable(true,null,null,null,null,null,ReasoningTaskDescription.isConceptSubsumedBy(subClassExpression,superClassExpression));
OWLIndividual freshIndividual=factory.getOWLAnonymousIndividual("fresh-individual"); OWLClassAssertionAxiom assertSubClassExpression=factory.getOWLClassAssertionAxiom(subClassExpression,freshIndividual); OWLClassAssertionAxiom assertNotSuperClassExpression=factory.getOWLClassAssertionAxiom(superClassExpression.getObjectComplementOf(),freshIndividual); Tableau tableau=getTableau(assertSubClassExpression,assertNotSuperClassExpression); boolean result=tableau.isSatisfiable(true,null,null,null,null,null,ReasoningTaskDescription.isConceptSubsumedBy(subClassExpression,superClassExpression));
public boolean hasType(OWLNamedIndividual namedIndividual,OWLClassExpression type,boolean direct) { checkPreConditions(namedIndividual,type); if (!m_isConsistent) return true; if (!isDefined(namedIndividual)) return getEquivalentClasses(type).contains(m_rootOntology.getOWLOntologyManager().getOWLDataFactory().getOWLThing()); else { if (type instanceof OWLClass) { if (direct) classifyClasses(); initialiseClassInstanceManager(); if (direct) m_instanceManager.setToClassifiedConceptHierarchy(m_atomicConceptHierarchy); return m_instanceManager.hasType(H(namedIndividual),H((OWLClass)type),direct); } else { OWLDataFactory factory=getDataFactory(); OWLAxiom negatedAssertionAxiom=factory.getOWLClassAssertionAxiom(type.getObjectComplementOf(),namedIndividual); Tableau tableau=getTableau(negatedAssertionAxiom); boolean result=tableau.isSatisfiable(true,true,null,null,null,null,null,ReasoningTaskDescription.isInstanceOf(namedIndividual,type)); tableau.clearAdditionalDLOntology(); return !result; } } } public NodeSet<OWLNamedIndividual> getInstances(OWLClassExpression classExpression,boolean direct) {