@Override public void visit(OWLClass ce) { if (signature.contains(ce)) { newClassExpression = ce; } else { newClassExpression = df.getOWLNothing(); } }
@Override @Nullable public OWLClass getOWLClass(String name) { if ("Thing".equals(name) || "owl:Thing".equals(name)) { return df.getOWLThing(); } else if ("Nothing".equals(name) || "owl:Nothing".equals(name)) { return df.getOWLNothing(); } else if (classNames.contains(name)) { return df.getOWLClass(getIRI(name)); } return null; }
@Override public Boolean visit(OWLDisjointClassesAxiom axiom) { if (axiom.getClassExpressions().size() == 2 && axiom.getClassExpressions().contains(factory.getOWLNothing())) { return true; } return false; }
public OWLClass map(ATermAppl term) { if( term.equals( ATermUtils.TOP ) ) return factory.getOWLThing(); else if( term.equals( ATermUtils.BOTTOM ) ) return factory.getOWLNothing(); else return factory.getOWLClass( iri( term ) ); } }
@Override public void visit(OWLObjectMinCardinality ce) { if (signature.contains(ce.getProperty().getNamedProperty())) { newClassExpression = ce; } else { newClassExpression = df.getOWLNothing(); } }
@Override public void visit(OWLDataExactCardinality ce) { if (signature.contains(ce.getProperty().asOWLDataProperty())) { newClassExpression = ce; } else { newClassExpression = df.getOWLNothing(); } }
@Override public void visit(OWLDataMinCardinality ce) { if (signature.contains(ce.getProperty().asOWLDataProperty())) { newClassExpression = ce; } else { newClassExpression = df.getOWLNothing(); } }
@Override public void visit(OWLDataSomeValuesFrom ce) { if (signature.contains(ce.getProperty().asOWLDataProperty())) { newClassExpression = ce; } else { newClassExpression = df.getOWLNothing(); } }
@Override public void visit(OWLObjectExactCardinality ce) { if (signature.contains(ce.getProperty().getNamedProperty())) { newClassExpression = ce; } else { newClassExpression = df.getOWLNothing(); } }
@Override public void visit(OWLDataSomeValuesFrom ce) { if (signature.contains(ce.getProperty().asOWLDataProperty())) { newClassExpression = ce; } else { newClassExpression = df.getOWLNothing(); } }
@Override public void visit(OWLDataMinCardinality ce) { if (signature.contains(ce.getProperty().asOWLDataProperty())) { newClassExpression = ce; } else { newClassExpression = df.getOWLNothing(); } }
@Override public Node<OWLClass> getBottomClassNode() { ensurePrepared(); return classHierarchyInfo.getEquivalents(getDataFactory().getOWLNothing()); }
@Override public Node<OWLClass> getBottomClassNode() { ensurePrepared(); return classHierarchyInfo.getEquivalents(getDataFactory().getOWLNothing()); }
public InferredOWLClassHierarchyProvider(OWLModelManager owlModelManager, OWLOntologyManager owlOntologyManager) { super(owlOntologyManager); this.owlModelManager = owlModelManager; owlThing = owlModelManager.getOWLDataFactory().getOWLThing(); owlNothing = owlModelManager.getOWLDataFactory().getOWLNothing(); owlModelManager.addListener(owlModelManagerListener); }
@Override public OWLClassExpression visit(OWLClass d) { if (d.isOWLThing()) return m_factory.getOWLNothing(); if (d.isOWLNothing()) return m_factory.getOWLThing(); return m_factory.getOWLObjectComplementOf(d); } @Override
public void visit(OWLObjectPropertyDomainAxiom axiom) { OWLObjectAllValuesFrom allPropertyNohting=m_factory.getOWLObjectAllValuesFrom(axiom.getProperty().getSimplified(),m_factory.getOWLNothing()); m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { positive(axiom.getDomain()),allPropertyNohting }); m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty()); } public void visit(OWLObjectPropertyRangeAxiom axiom) {
@Override public Boolean visit(OWLSubClassOfAxiom axiom) { if (axiom.getSuperClass().equals(df.getOWLThing()) || axiom.getSubClass().equals(df.getOWLNothing())) { return Boolean.TRUE; } ConceptExpression sub = tr.pointer(axiom.getSubClass()); if (!kernel.isSatisfiable(sub)) { return Boolean.TRUE; } ConceptExpression sup = tr.pointer(axiom.getSuperClass()); return Boolean.valueOf(kernel.isSubsumedBy(sub, sup)); }
@Override public void visit(OWLObjectSomeValuesFrom ce) { if (signature.contains(ce.getProperty().getNamedProperty())) { newClassExpression = df .getOWLObjectSomeValuesFrom(ce.getProperty(), replaceBottom(ce.getFiller())); } else { newClassExpression = df.getOWLNothing(); } }
public InferredOWLClassHierarchyProvider(OWLModelManager owlModelManager, OWLOntologyManager owlOntologyManager) { super(owlOntologyManager); this.owlModelManager = owlModelManager; owlThing = owlModelManager.getOWLDataFactory().getOWLThing(); owlNothing = owlModelManager.getOWLDataFactory().getOWLNothing(); owlModelManager.addListener(owlModelManagerListener); owlOntologyManager.addOntologyChangeListener(owlOntologyChangeListener); }
public OWLClassExpression visit(OWLObjectMinCardinality d) { OWLClassExpression filler=getSimplified(d.getFiller()); if (d.getCardinality()<=0) return m_factory.getOWLThing(); else if (filler.isOWLNothing()) return m_factory.getOWLNothing(); else if (d.getCardinality()==1) return m_factory.getOWLObjectSomeValuesFrom(d.getProperty().getSimplified(),filler); else return m_factory.getOWLObjectMinCardinality(d.getCardinality(),d.getProperty().getSimplified(),filler); } public OWLClassExpression visit(OWLObjectMaxCardinality d) {