|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.clarkparsia.pellet.owlapiv3.Reasoner
@Deprecated public class Reasoner
Title:
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
Field Summary | |
---|---|
static java.util.logging.Logger |
log
Deprecated. |
Constructor Summary | |
---|---|
Reasoner(org.semanticweb.owlapi.model.OWLOntologyManager manager)
Deprecated. Create an empty reasoner. |
|
Reasoner(org.semanticweb.owlapi.model.OWLOntologyManager manager,
KnowledgeBase kb)
Deprecated. Create a reasoner instance with the given KB. |
Method Summary | |
---|---|
void |
classify()
Deprecated. |
void |
clearOntologies()
Deprecated. |
org.semanticweb.owlapi.model.OWLAxiom |
convertAxiom(aterm.ATermAppl term)
Deprecated. Convert an axiom represented in ATermAppl format to OWLAxiom |
java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> |
convertAxioms(java.util.Set<aterm.ATermAppl> terms)
Deprecated. Convert a set of axioms represented in ATermAppl format to
a set of OWLAxiom s |
void |
dispose()
Deprecated. |
java.util.Set<org.semanticweb.owlapi.model.OWLClass> |
getAllEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. |
java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClass>> |
getAncestorClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. |
java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLDataProperty>> |
getAncestorProperties(org.semanticweb.owlapi.model.OWLDataProperty p)
Deprecated. |
java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty>> |
getAncestorProperties(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. |
java.util.Set<org.semanticweb.owlapi.model.OWLClass> |
getClasses()
Deprecated. Return the set of all named classes defined in any of the ontologies loaded in the reasoner. |
java.util.Set<org.semanticweb.owlapi.model.OWLClass> |
getComplementClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. |
java.util.Set<org.semanticweb.owlapi.model.OWLDataProperty> |
getDataProperties()
Deprecated. |
java.util.Map<org.semanticweb.owlapi.model.OWLIndividual,java.util.Set<org.semanticweb.owlapi.model.OWLLiteral>> |
getDataPropertyAssertions(org.semanticweb.owlapi.model.OWLDataProperty prop)
Deprecated. |
java.util.Map<org.semanticweb.owlapi.model.OWLDataProperty,java.util.Set<org.semanticweb.owlapi.model.OWLLiteral>> |
getDataPropertyRelationships(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
Deprecated. |
java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClass>> |
getDescendantClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. |
java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLDataProperty>> |
getDescendantProperties(org.semanticweb.owlapi.model.OWLDataProperty p)
Deprecated. |
java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty>> |
getDescendantProperties(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. |
java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> |
getDifferentFromIndividuals(org.semanticweb.owlapi.model.OWLIndividual ind)
Deprecated. |
java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClass>> |
getDisjointClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. |
java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression>> |
getDomains(org.semanticweb.owlapi.model.OWLDataProperty p)
Deprecated. |
java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression>> |
getDomains(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. |
java.util.Set<org.semanticweb.owlapi.model.OWLClass> |
getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. |
java.util.Set<org.semanticweb.owlapi.model.OWLDataProperty> |
getEquivalentProperties(org.semanticweb.owlapi.model.OWLDataProperty p)
Deprecated. |
java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> |
getEquivalentProperties(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. |
java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> |
getExplanation()
Deprecated. Returns the explanation for the last performed reasoning operation. |
java.util.Set<org.semanticweb.owlapi.model.OWLClass> |
getInconsistentClasses()
Deprecated. |
java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> |
getIndividuals()
Deprecated. Return the set of all individuals defined in any of the ontologies loaded in the reasoner. |
java.util.Set<org.semanticweb.owlapi.model.OWLNamedIndividual> |
getIndividuals(org.semanticweb.owlapi.model.OWLClassExpression clsC,
boolean direct)
Deprecated. Returns all or only direct instances of a concept expression |
java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty>> |
getInverseProperties(org.semanticweb.owlapi.model.OWLObjectProperty prop)
Deprecated. |
KnowledgeBase |
getKB()
Deprecated. |
java.util.Set<org.semanticweb.owlapi.model.OWLOntology> |
getLoadedOntologies()
Deprecated. |
PelletLoader |
getLoader()
Deprecated. |
org.semanticweb.owlapi.model.OWLOntologyManager |
getManager()
Deprecated. |
java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> |
getObjectProperties()
Deprecated. |
java.util.Map<org.semanticweb.owlapi.model.OWLIndividual,java.util.Set<org.semanticweb.owlapi.model.OWLIndividual>> |
getObjectPropertyAssertions(org.semanticweb.owlapi.model.OWLObjectProperty prop)
Deprecated. |
java.util.Map<org.semanticweb.owlapi.model.OWLObjectProperty,java.util.Set<org.semanticweb.owlapi.model.OWLNamedIndividual>> |
getObjectPropertyRelationships(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
Deprecated. |
java.util.Set<org.semanticweb.owlapi.model.OWLProperty<?,?>> |
getProperties()
Deprecated. Return all the object and data properties defined in the loaded ontologies |
java.util.Set<org.semanticweb.owlapi.model.OWLDataRange> |
getRanges(org.semanticweb.owlapi.model.OWLDataProperty p)
Deprecated. |
java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> |
getRanges(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. |
java.util.Set<org.semanticweb.owlapi.model.OWLNamedIndividual> |
getRelatedIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual subject,
org.semanticweb.owlapi.model.OWLObjectPropertyExpression property)
Deprecated. |
java.util.Set<org.semanticweb.owlapi.model.OWLLiteral> |
getRelatedValues(org.semanticweb.owlapi.model.OWLNamedIndividual subject,
org.semanticweb.owlapi.model.OWLDataPropertyExpression property)
Deprecated. |
java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> |
getSameAsIndividuals(org.semanticweb.owlapi.model.OWLIndividual ind)
Deprecated. Return a set of sameAs individuals given a specific individual based on axioms in the ontology |
java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClass>> |
getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. |
java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLDataProperty>> |
getSubProperties(org.semanticweb.owlapi.model.OWLDataProperty p)
Deprecated. |
java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty>> |
getSubProperties(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. |
java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClass>> |
getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. |
java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLDataProperty>> |
getSuperProperties(org.semanticweb.owlapi.model.OWLDataProperty p)
Deprecated. |
java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty>> |
getSuperProperties(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. |
java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClass>> |
getTypes(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
boolean direct)
Deprecated. Returns all the named classes that this individual belongs. |
java.util.Set<org.semanticweb.owlapi.model.OWLClass> |
getUnsatisfiableClasses()
Deprecated. |
boolean |
hasDataPropertyRelationship(org.semanticweb.owlapi.model.OWLNamedIndividual subject,
org.semanticweb.owlapi.model.OWLDataPropertyExpression property,
org.semanticweb.owlapi.model.OWLLiteral object)
Deprecated. |
boolean |
hasDomain(org.semanticweb.owlapi.model.OWLDataProperty p,
org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. |
boolean |
hasDomain(org.semanticweb.owlapi.model.OWLObjectProperty p,
org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. |
boolean |
hasObjectPropertyRelationship(org.semanticweb.owlapi.model.OWLNamedIndividual subject,
org.semanticweb.owlapi.model.OWLObjectPropertyExpression property,
org.semanticweb.owlapi.model.OWLNamedIndividual object)
Deprecated. |
boolean |
hasRange(org.semanticweb.owlapi.model.OWLDataProperty p,
org.semanticweb.owlapi.model.OWLDataRange d)
Deprecated. |
boolean |
hasRange(org.semanticweb.owlapi.model.OWLObjectProperty p,
org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. |
boolean |
hasType(org.semanticweb.owlapi.model.OWLNamedIndividual individual,
org.semanticweb.owlapi.model.OWLClassExpression type,
boolean direct)
Deprecated. Checks if the given individual is a direct or indirect instance of the given type |
boolean |
isAntiSymmetric(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. |
boolean |
isAsymmetric(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. |
boolean |
isClassified()
Deprecated. |
boolean |
isComplementOf(org.semanticweb.owlapi.model.OWLClassExpression c1,
org.semanticweb.owlapi.model.OWLClassExpression c2)
Deprecated. |
boolean |
isConsistent()
Deprecated. Returns true if the loaded ontology is consistent. |
boolean |
isConsistent(org.semanticweb.owlapi.model.OWLClassExpression d)
Deprecated. Use isSatisfiable(OWLClassExpression) instead |
boolean |
isConsistent(org.semanticweb.owlapi.model.OWLOntology ontology)
Deprecated. |
boolean |
isDefined(org.semanticweb.owlapi.model.OWLClass cls)
Deprecated. |
boolean |
isDefined(org.semanticweb.owlapi.model.OWLDataProperty prop)
Deprecated. |
boolean |
isDefined(org.semanticweb.owlapi.model.OWLIndividual ind)
Deprecated. |
boolean |
isDefined(org.semanticweb.owlapi.model.OWLObjectProperty prop)
Deprecated. |
boolean |
isDifferentFrom(org.semanticweb.owlapi.model.OWLIndividual ind1,
org.semanticweb.owlapi.model.OWLIndividual ind2)
Deprecated. Test if two individuals are owl:DifferentFrom each other. |
boolean |
isDisjointWith(org.semanticweb.owlapi.model.OWLClassExpression c1,
org.semanticweb.owlapi.model.OWLClassExpression c2)
Deprecated. |
boolean |
isDisjointWith(org.semanticweb.owlapi.model.OWLDataProperty p1,
org.semanticweb.owlapi.model.OWLDataProperty p2)
Deprecated. |
boolean |
isDisjointWith(org.semanticweb.owlapi.model.OWLObjectProperty p1,
org.semanticweb.owlapi.model.OWLObjectProperty p2)
Deprecated. |
boolean |
isEquivalentClass(org.semanticweb.owlapi.model.OWLClassExpression c1,
org.semanticweb.owlapi.model.OWLClassExpression c2)
Deprecated. |
boolean |
isEquivalentProperty(org.semanticweb.owlapi.model.OWLDataProperty p1,
org.semanticweb.owlapi.model.OWLDataProperty p2)
Deprecated. |
boolean |
isEquivalentProperty(org.semanticweb.owlapi.model.OWLObjectProperty p1,
org.semanticweb.owlapi.model.OWLObjectProperty p2)
Deprecated. |
boolean |
isFunctional(org.semanticweb.owlapi.model.OWLDataProperty p)
Deprecated. |
boolean |
isFunctional(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. |
boolean |
isInverseFunctional(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. |
boolean |
isInverseOf(org.semanticweb.owlapi.model.OWLObjectProperty p1,
org.semanticweb.owlapi.model.OWLObjectProperty p2)
Deprecated. |
boolean |
isIrreflexive(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. |
boolean |
isRealised()
Deprecated. |
boolean |
isReflexive(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. |
boolean |
isSameAs(org.semanticweb.owlapi.model.OWLIndividual ind1,
org.semanticweb.owlapi.model.OWLIndividual ind2)
Deprecated. Test if two individuals are owl:DifferentFrom each other. |
boolean |
isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression d)
Deprecated. Returns true if the given class is satisfiable. |
boolean |
isSubClassOf(org.semanticweb.owlapi.model.OWLClassExpression c1,
org.semanticweb.owlapi.model.OWLClassExpression c2)
Deprecated. |
boolean |
isSubPropertyOf(org.semanticweb.owlapi.model.OWLDataProperty c1,
org.semanticweb.owlapi.model.OWLDataProperty c2)
Deprecated. |
boolean |
isSubPropertyOf(org.semanticweb.owlapi.model.OWLObjectProperty c1,
org.semanticweb.owlapi.model.OWLObjectProperty c2)
Deprecated. |
boolean |
isSubTypeOf(org.semanticweb.owlapi.model.OWLDatatype d1,
org.semanticweb.owlapi.model.OWLDatatype d2)
Deprecated. |
boolean |
isSymmetric(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. |
boolean |
isTransitive(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. |
void |
loadOntologies(java.util.Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)
Deprecated. |
void |
loadOntology(org.semanticweb.owlapi.model.OWLOntology ontology)
Deprecated. |
void |
ontologiesChanged(java.util.List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)
Deprecated. Listens to ontology changes and refreshes the underlying KB. |
void |
realise()
Deprecated. |
void |
refresh()
Deprecated. |
void |
setOntology(org.semanticweb.owlapi.model.OWLOntology ontology)
Deprecated. This will first clear the ontologies and then load the give ontology with is imports |
void |
unloadOntologies(java.util.Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)
Deprecated. |
void |
unloadOntology(org.semanticweb.owlapi.model.OWLOntology ontology)
Deprecated. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static java.util.logging.Logger log
Constructor Detail |
---|
public Reasoner(org.semanticweb.owlapi.model.OWLOntologyManager manager)
manager
- ontology manager for this reasonerpublic Reasoner(org.semanticweb.owlapi.model.OWLOntologyManager manager, KnowledgeBase kb)
manager
- ontology manager for this reasonerkb
- underlying KB instanceMethod Detail |
---|
public void classify()
public void clearOntologies()
public org.semanticweb.owlapi.model.OWLAxiom convertAxiom(aterm.ATermAppl term)
term
- -
axiom represented as an ATermAppl
null
if conversion failspublic java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> convertAxioms(java.util.Set<aterm.ATermAppl> terms) throws org.semanticweb.owlapi.model.OWLRuntimeException
ATermAppl
format to
a set of OWLAxiom
s
terms
- -
axioms represented as an ATermAppl
OWLAxiom
objects
org.semanticweb.owlapi.model.OWLRuntimeException
- -
if conversion fails for one of the axiomspublic void dispose()
public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClass>> getAncestorClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLDataProperty>> getAncestorProperties(org.semanticweb.owlapi.model.OWLDataProperty p)
public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty>> getAncestorProperties(org.semanticweb.owlapi.model.OWLObjectProperty p)
public java.util.Set<org.semanticweb.owlapi.model.OWLClass> getClasses()
public java.util.Set<org.semanticweb.owlapi.model.OWLClass> getComplementClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
public java.util.Set<org.semanticweb.owlapi.model.OWLDataProperty> getDataProperties()
public java.util.Map<org.semanticweb.owlapi.model.OWLDataProperty,java.util.Set<org.semanticweb.owlapi.model.OWLLiteral>> getDataPropertyRelationships(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClass>> getDescendantClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLDataProperty>> getDescendantProperties(org.semanticweb.owlapi.model.OWLDataProperty p)
public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty>> getDescendantProperties(org.semanticweb.owlapi.model.OWLObjectProperty p)
public java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> getDifferentFromIndividuals(org.semanticweb.owlapi.model.OWLIndividual ind)
public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClass>> getDisjointClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression>> getDomains(org.semanticweb.owlapi.model.OWLDataProperty p)
public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression>> getDomains(org.semanticweb.owlapi.model.OWLObjectProperty p)
public java.util.Set<org.semanticweb.owlapi.model.OWLClass> getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
public java.util.Set<org.semanticweb.owlapi.model.OWLClass> getAllEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
public java.util.Set<org.semanticweb.owlapi.model.OWLDataProperty> getEquivalentProperties(org.semanticweb.owlapi.model.OWLDataProperty p)
public java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> getEquivalentProperties(org.semanticweb.owlapi.model.OWLObjectProperty p)
public java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> getExplanation() throws org.semanticweb.owlapi.model.OWLRuntimeException
org.semanticweb.owlapi.model.OWLRuntimeException
- -
if no explanation was generated or axioms in the explanation
cannot be converted to OWLAxiom
spublic java.util.Set<org.semanticweb.owlapi.model.OWLClass> getInconsistentClasses()
public java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> getIndividuals()
public java.util.Set<org.semanticweb.owlapi.model.OWLNamedIndividual> getIndividuals(org.semanticweb.owlapi.model.OWLClassExpression clsC, boolean direct)
public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty>> getInverseProperties(org.semanticweb.owlapi.model.OWLObjectProperty prop)
public KnowledgeBase getKB()
public java.util.Set<org.semanticweb.owlapi.model.OWLOntology> getLoadedOntologies()
public PelletLoader getLoader()
public org.semanticweb.owlapi.model.OWLOntologyManager getManager()
public java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> getObjectProperties()
public java.util.Map<org.semanticweb.owlapi.model.OWLObjectProperty,java.util.Set<org.semanticweb.owlapi.model.OWLNamedIndividual>> getObjectPropertyRelationships(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
public java.util.Set<org.semanticweb.owlapi.model.OWLProperty<?,?>> getProperties()
public java.util.Map<org.semanticweb.owlapi.model.OWLIndividual,java.util.Set<org.semanticweb.owlapi.model.OWLLiteral>> getDataPropertyAssertions(org.semanticweb.owlapi.model.OWLDataProperty prop)
public java.util.Map<org.semanticweb.owlapi.model.OWLIndividual,java.util.Set<org.semanticweb.owlapi.model.OWLIndividual>> getObjectPropertyAssertions(org.semanticweb.owlapi.model.OWLObjectProperty prop)
public java.util.Set<org.semanticweb.owlapi.model.OWLDataRange> getRanges(org.semanticweb.owlapi.model.OWLDataProperty p)
public java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> getRanges(org.semanticweb.owlapi.model.OWLObjectProperty p)
public java.util.Set<org.semanticweb.owlapi.model.OWLNamedIndividual> getRelatedIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual subject, org.semanticweb.owlapi.model.OWLObjectPropertyExpression property)
public java.util.Set<org.semanticweb.owlapi.model.OWLLiteral> getRelatedValues(org.semanticweb.owlapi.model.OWLNamedIndividual subject, org.semanticweb.owlapi.model.OWLDataPropertyExpression property)
public java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> getSameAsIndividuals(org.semanticweb.owlapi.model.OWLIndividual ind)
ind
- -
specific individual to test
org.semanticweb.owlapi.model.OWLException
public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClass>> getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLDataProperty>> getSubProperties(org.semanticweb.owlapi.model.OWLDataProperty p)
public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty>> getSubProperties(org.semanticweb.owlapi.model.OWLObjectProperty p)
public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClass>> getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLDataProperty>> getSuperProperties(org.semanticweb.owlapi.model.OWLDataProperty p)
public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty>> getSuperProperties(org.semanticweb.owlapi.model.OWLObjectProperty p)
public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClass>> getTypes(org.semanticweb.owlapi.model.OWLNamedIndividual ind, boolean direct)
ind
-
org.semanticweb.owlapi.model.OWLException
public java.util.Set<org.semanticweb.owlapi.model.OWLClass> getUnsatisfiableClasses() throws org.semanticweb.owl.inference.OWLReasonerException
org.semanticweb.owl.inference.OWLReasonerException
public boolean hasDataPropertyRelationship(org.semanticweb.owlapi.model.OWLNamedIndividual subject, org.semanticweb.owlapi.model.OWLDataPropertyExpression property, org.semanticweb.owlapi.model.OWLLiteral object)
public boolean hasDomain(org.semanticweb.owlapi.model.OWLDataProperty p, org.semanticweb.owlapi.model.OWLClassExpression c)
public boolean hasDomain(org.semanticweb.owlapi.model.OWLObjectProperty p, org.semanticweb.owlapi.model.OWLClassExpression c)
public boolean hasObjectPropertyRelationship(org.semanticweb.owlapi.model.OWLNamedIndividual subject, org.semanticweb.owlapi.model.OWLObjectPropertyExpression property, org.semanticweb.owlapi.model.OWLNamedIndividual object)
public boolean hasRange(org.semanticweb.owlapi.model.OWLDataProperty p, org.semanticweb.owlapi.model.OWLDataRange d)
public boolean hasRange(org.semanticweb.owlapi.model.OWLObjectProperty p, org.semanticweb.owlapi.model.OWLClassExpression c)
public boolean hasType(org.semanticweb.owlapi.model.OWLNamedIndividual individual, org.semanticweb.owlapi.model.OWLClassExpression type, boolean direct)
public boolean isAntiSymmetric(org.semanticweb.owlapi.model.OWLObjectProperty p)
public boolean isAsymmetric(org.semanticweb.owlapi.model.OWLObjectProperty p)
public boolean isClassified()
public boolean isComplementOf(org.semanticweb.owlapi.model.OWLClassExpression c1, org.semanticweb.owlapi.model.OWLClassExpression c2)
public boolean isConsistent()
c
-
org.semanticweb.owlapi.model.OWLException
public boolean isConsistent(org.semanticweb.owlapi.model.OWLClassExpression d)
isSatisfiable(OWLClassExpression)
instead
public boolean isConsistent(org.semanticweb.owlapi.model.OWLOntology ontology)
public boolean isDefined(org.semanticweb.owlapi.model.OWLClass cls)
public boolean isDefined(org.semanticweb.owlapi.model.OWLDataProperty prop)
public boolean isDefined(org.semanticweb.owlapi.model.OWLIndividual ind)
public boolean isDefined(org.semanticweb.owlapi.model.OWLObjectProperty prop)
public boolean isDifferentFrom(org.semanticweb.owlapi.model.OWLIndividual ind1, org.semanticweb.owlapi.model.OWLIndividual ind2)
org.semanticweb.owlapi.model.OWLException
public boolean isDisjointWith(org.semanticweb.owlapi.model.OWLDataProperty p1, org.semanticweb.owlapi.model.OWLDataProperty p2)
public boolean isDisjointWith(org.semanticweb.owlapi.model.OWLClassExpression c1, org.semanticweb.owlapi.model.OWLClassExpression c2)
public boolean isDisjointWith(org.semanticweb.owlapi.model.OWLObjectProperty p1, org.semanticweb.owlapi.model.OWLObjectProperty p2)
public boolean isEquivalentClass(org.semanticweb.owlapi.model.OWLClassExpression c1, org.semanticweb.owlapi.model.OWLClassExpression c2)
public boolean isEquivalentProperty(org.semanticweb.owlapi.model.OWLDataProperty p1, org.semanticweb.owlapi.model.OWLDataProperty p2)
public boolean isEquivalentProperty(org.semanticweb.owlapi.model.OWLObjectProperty p1, org.semanticweb.owlapi.model.OWLObjectProperty p2)
public boolean isFunctional(org.semanticweb.owlapi.model.OWLDataProperty p)
public boolean isFunctional(org.semanticweb.owlapi.model.OWLObjectProperty p)
public boolean isInverseFunctional(org.semanticweb.owlapi.model.OWLObjectProperty p)
public boolean isInverseOf(org.semanticweb.owlapi.model.OWLObjectProperty p1, org.semanticweb.owlapi.model.OWLObjectProperty p2)
public boolean isIrreflexive(org.semanticweb.owlapi.model.OWLObjectProperty p)
public boolean isRealised() throws org.semanticweb.owl.inference.OWLReasonerException
org.semanticweb.owl.inference.OWLReasonerException
public boolean isReflexive(org.semanticweb.owlapi.model.OWLObjectProperty p)
public boolean isSameAs(org.semanticweb.owlapi.model.OWLIndividual ind1, org.semanticweb.owlapi.model.OWLIndividual ind2)
org.semanticweb.owlapi.model.OWLException
public boolean isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression d)
c
-
org.semanticweb.owlapi.model.OWLException
public boolean isSubClassOf(org.semanticweb.owlapi.model.OWLClassExpression c1, org.semanticweb.owlapi.model.OWLClassExpression c2)
public boolean isSubPropertyOf(org.semanticweb.owlapi.model.OWLDataProperty c1, org.semanticweb.owlapi.model.OWLDataProperty c2)
public boolean isSubPropertyOf(org.semanticweb.owlapi.model.OWLObjectProperty c1, org.semanticweb.owlapi.model.OWLObjectProperty c2)
public boolean isSubTypeOf(org.semanticweb.owlapi.model.OWLDatatype d1, org.semanticweb.owlapi.model.OWLDatatype d2)
public boolean isSymmetric(org.semanticweb.owlapi.model.OWLObjectProperty p)
public boolean isTransitive(org.semanticweb.owlapi.model.OWLObjectProperty p)
public void loadOntologies(java.util.Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)
public void loadOntology(org.semanticweb.owlapi.model.OWLOntology ontology)
public void ontologiesChanged(java.util.List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)
ontologiesChanged
in interface org.semanticweb.owlapi.model.OWLOntologyChangeListener
public void realise()
public void refresh()
public void setOntology(org.semanticweb.owlapi.model.OWLOntology ontology)
public void unloadOntologies(java.util.Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)
public void unloadOntology(org.semanticweb.owlapi.model.OWLOntology ontology)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |