com.clarkparsia.pellet.owlapiv3
Class Reasoner

java.lang.Object
  extended by com.clarkparsia.pellet.owlapiv3.Reasoner
All Implemented Interfaces:
org.semanticweb.owlapi.model.OWLOntologyChangeListener

Deprecated.

@Deprecated
public class Reasoner
extends java.lang.Object
implements org.semanticweb.owlapi.model.OWLOntologyChangeListener

Title:

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

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 OWLAxioms
 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

log

public static java.util.logging.Logger log
Deprecated. 
Constructor Detail

Reasoner

public Reasoner(org.semanticweb.owlapi.model.OWLOntologyManager manager)
Deprecated. 
Create an empty reasoner.

Parameters:
manager - ontology manager for this reasoner

Reasoner

public Reasoner(org.semanticweb.owlapi.model.OWLOntologyManager manager,
                KnowledgeBase kb)
Deprecated. 
Create a reasoner instance with the given KB. Any changes to the KB will effect this reasoner.

Parameters:
manager - ontology manager for this reasoner
kb - underlying KB instance
Method Detail

classify

public void classify()
Deprecated. 

clearOntologies

public void clearOntologies()
Deprecated. 

convertAxiom

public org.semanticweb.owlapi.model.OWLAxiom convertAxiom(aterm.ATermAppl term)
Deprecated. 
Convert an axiom represented in ATermAppl format to OWLAxiom

Parameters:
term - - axiom represented as an ATermAppl
Returns:
axiom as an OWLAxiom or null if conversion fails

convertAxioms

public java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> convertAxioms(java.util.Set<aterm.ATermAppl> terms)
                                                                   throws org.semanticweb.owlapi.model.OWLRuntimeException
Deprecated. 
Convert a set of axioms represented in ATermAppl format to a set of OWLAxioms

Parameters:
terms - - axioms represented as an ATermAppl
Returns:
axioms as OWLAxiom objects
Throws:
org.semanticweb.owlapi.model.OWLRuntimeException - - if conversion fails for one of the axioms

dispose

public void dispose()
Deprecated. 

getAncestorClasses

public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClass>> getAncestorClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. 

getAncestorProperties

public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLDataProperty>> getAncestorProperties(org.semanticweb.owlapi.model.OWLDataProperty p)
Deprecated. 

getAncestorProperties

public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty>> getAncestorProperties(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. 

getClasses

public 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.

Returns:
set of OWLClass objects

getComplementClasses

public java.util.Set<org.semanticweb.owlapi.model.OWLClass> getComplementClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. 

getDataProperties

public java.util.Set<org.semanticweb.owlapi.model.OWLDataProperty> getDataProperties()
Deprecated. 

getDataPropertyRelationships

public java.util.Map<org.semanticweb.owlapi.model.OWLDataProperty,java.util.Set<org.semanticweb.owlapi.model.OWLLiteral>> getDataPropertyRelationships(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
Deprecated. 

getDescendantClasses

public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClass>> getDescendantClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. 

getDescendantProperties

public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLDataProperty>> getDescendantProperties(org.semanticweb.owlapi.model.OWLDataProperty p)
Deprecated. 

getDescendantProperties

public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty>> getDescendantProperties(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. 

getDifferentFromIndividuals

public java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> getDifferentFromIndividuals(org.semanticweb.owlapi.model.OWLIndividual ind)
Deprecated. 

getDisjointClasses

public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClass>> getDisjointClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. 

getDomains

public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression>> getDomains(org.semanticweb.owlapi.model.OWLDataProperty p)
Deprecated. 

getDomains

public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression>> getDomains(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. 

getEquivalentClasses

public java.util.Set<org.semanticweb.owlapi.model.OWLClass> getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. 

getAllEquivalentClasses

public java.util.Set<org.semanticweb.owlapi.model.OWLClass> getAllEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. 

getEquivalentProperties

public java.util.Set<org.semanticweb.owlapi.model.OWLDataProperty> getEquivalentProperties(org.semanticweb.owlapi.model.OWLDataProperty p)
Deprecated. 

getEquivalentProperties

public java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> getEquivalentProperties(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. 

getExplanation

public java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> getExplanation()
                                                                    throws org.semanticweb.owlapi.model.OWLRuntimeException
Deprecated. 
Returns the explanation for the last performed reasoning operation. The last reasoning operation must be a boolean query that checks for a specific entailment, e.g. concept satisfiability, subclass entailment, etc. Note that, the options for turning on the explanation feature should be enabled to retrieve any explanation.

Returns:
the explanation as a set of axioms that cause the entailment
Throws:
org.semanticweb.owlapi.model.OWLRuntimeException - - if no explanation was generated or axioms in the explanation cannot be converted to OWLAxioms

getInconsistentClasses

public java.util.Set<org.semanticweb.owlapi.model.OWLClass> getInconsistentClasses()
Deprecated. 

getIndividuals

public 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.

Returns:
set of OWLIndividual objects

getIndividuals

public 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


getInverseProperties

public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty>> getInverseProperties(org.semanticweb.owlapi.model.OWLObjectProperty prop)
Deprecated. 

getKB

public KnowledgeBase getKB()
Deprecated. 
Returns:
Returns the kb.

getLoadedOntologies

public java.util.Set<org.semanticweb.owlapi.model.OWLOntology> getLoadedOntologies()
Deprecated. 

getLoader

public PelletLoader getLoader()
Deprecated. 

getManager

public org.semanticweb.owlapi.model.OWLOntologyManager getManager()
Deprecated. 

getObjectProperties

public java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> getObjectProperties()
Deprecated. 

getObjectPropertyRelationships

public java.util.Map<org.semanticweb.owlapi.model.OWLObjectProperty,java.util.Set<org.semanticweb.owlapi.model.OWLNamedIndividual>> getObjectPropertyRelationships(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
Deprecated. 

getProperties

public java.util.Set<org.semanticweb.owlapi.model.OWLProperty<?,?>> getProperties()
Deprecated. 
Return all the object and data properties defined in the loaded ontologies


getDataPropertyAssertions

public java.util.Map<org.semanticweb.owlapi.model.OWLIndividual,java.util.Set<org.semanticweb.owlapi.model.OWLLiteral>> getDataPropertyAssertions(org.semanticweb.owlapi.model.OWLDataProperty prop)
Deprecated. 

getObjectPropertyAssertions

public java.util.Map<org.semanticweb.owlapi.model.OWLIndividual,java.util.Set<org.semanticweb.owlapi.model.OWLIndividual>> getObjectPropertyAssertions(org.semanticweb.owlapi.model.OWLObjectProperty prop)
Deprecated. 

getRanges

public java.util.Set<org.semanticweb.owlapi.model.OWLDataRange> getRanges(org.semanticweb.owlapi.model.OWLDataProperty p)
Deprecated. 

getRanges

public java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> getRanges(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. 

getRelatedIndividuals

public java.util.Set<org.semanticweb.owlapi.model.OWLNamedIndividual> getRelatedIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual subject,
                                                                                            org.semanticweb.owlapi.model.OWLObjectPropertyExpression property)
Deprecated. 

getRelatedValues

public java.util.Set<org.semanticweb.owlapi.model.OWLLiteral> getRelatedValues(org.semanticweb.owlapi.model.OWLNamedIndividual subject,
                                                                               org.semanticweb.owlapi.model.OWLDataPropertyExpression property)
Deprecated. 

getSameAsIndividuals

public 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

Parameters:
ind - - specific individual to test
Returns:
Throws:
org.semanticweb.owlapi.model.OWLException

getSubClasses

public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClass>> getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. 

getSubProperties

public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLDataProperty>> getSubProperties(org.semanticweb.owlapi.model.OWLDataProperty p)
Deprecated. 

getSubProperties

public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty>> getSubProperties(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. 

getSuperClasses

public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLClass>> getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. 

getSuperProperties

public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLDataProperty>> getSuperProperties(org.semanticweb.owlapi.model.OWLDataProperty p)
Deprecated. 

getSuperProperties

public java.util.Set<java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty>> getSuperProperties(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. 

getTypes

public 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. This returns a set of sets where each set is an equivalent class

Parameters:
ind -
Returns:
Set of OWLClassExpression objects
Throws:
org.semanticweb.owlapi.model.OWLException

getUnsatisfiableClasses

public java.util.Set<org.semanticweb.owlapi.model.OWLClass> getUnsatisfiableClasses()
                                                                             throws org.semanticweb.owl.inference.OWLReasonerException
Deprecated. 
Throws:
org.semanticweb.owl.inference.OWLReasonerException

hasDataPropertyRelationship

public boolean hasDataPropertyRelationship(org.semanticweb.owlapi.model.OWLNamedIndividual subject,
                                           org.semanticweb.owlapi.model.OWLDataPropertyExpression property,
                                           org.semanticweb.owlapi.model.OWLLiteral object)
Deprecated. 

hasDomain

public boolean hasDomain(org.semanticweb.owlapi.model.OWLDataProperty p,
                         org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. 

hasDomain

public boolean hasDomain(org.semanticweb.owlapi.model.OWLObjectProperty p,
                         org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. 

hasObjectPropertyRelationship

public boolean hasObjectPropertyRelationship(org.semanticweb.owlapi.model.OWLNamedIndividual subject,
                                             org.semanticweb.owlapi.model.OWLObjectPropertyExpression property,
                                             org.semanticweb.owlapi.model.OWLNamedIndividual object)
Deprecated. 

hasRange

public boolean hasRange(org.semanticweb.owlapi.model.OWLDataProperty p,
                        org.semanticweb.owlapi.model.OWLDataRange d)
Deprecated. 

hasRange

public boolean hasRange(org.semanticweb.owlapi.model.OWLObjectProperty p,
                        org.semanticweb.owlapi.model.OWLClassExpression c)
Deprecated. 

hasType

public 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


isAntiSymmetric

public boolean isAntiSymmetric(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. 

isAsymmetric

public boolean isAsymmetric(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. 

isClassified

public boolean isClassified()
Deprecated. 

isComplementOf

public boolean isComplementOf(org.semanticweb.owlapi.model.OWLClassExpression c1,
                              org.semanticweb.owlapi.model.OWLClassExpression c2)
Deprecated. 

isConsistent

public boolean isConsistent()
Deprecated. 
Returns true if the loaded ontology is consistent.

Parameters:
c -
Returns:
Throws:
org.semanticweb.owlapi.model.OWLException

isConsistent

public boolean isConsistent(org.semanticweb.owlapi.model.OWLClassExpression d)
Deprecated. Use isSatisfiable(OWLClassExpression) instead


isConsistent

public boolean isConsistent(org.semanticweb.owlapi.model.OWLOntology ontology)
Deprecated. 

isDefined

public boolean isDefined(org.semanticweb.owlapi.model.OWLClass cls)
Deprecated. 

isDefined

public boolean isDefined(org.semanticweb.owlapi.model.OWLDataProperty prop)
Deprecated. 

isDefined

public boolean isDefined(org.semanticweb.owlapi.model.OWLIndividual ind)
Deprecated. 

isDefined

public boolean isDefined(org.semanticweb.owlapi.model.OWLObjectProperty prop)
Deprecated. 

isDifferentFrom

public boolean isDifferentFrom(org.semanticweb.owlapi.model.OWLIndividual ind1,
                               org.semanticweb.owlapi.model.OWLIndividual ind2)
Deprecated. 
Test if two individuals are owl:DifferentFrom each other.

Returns:
Throws:
org.semanticweb.owlapi.model.OWLException

isDisjointWith

public boolean isDisjointWith(org.semanticweb.owlapi.model.OWLDataProperty p1,
                              org.semanticweb.owlapi.model.OWLDataProperty p2)
Deprecated. 

isDisjointWith

public boolean isDisjointWith(org.semanticweb.owlapi.model.OWLClassExpression c1,
                              org.semanticweb.owlapi.model.OWLClassExpression c2)
Deprecated. 

isDisjointWith

public boolean isDisjointWith(org.semanticweb.owlapi.model.OWLObjectProperty p1,
                              org.semanticweb.owlapi.model.OWLObjectProperty p2)
Deprecated. 

isEquivalentClass

public boolean isEquivalentClass(org.semanticweb.owlapi.model.OWLClassExpression c1,
                                 org.semanticweb.owlapi.model.OWLClassExpression c2)
Deprecated. 

isEquivalentProperty

public boolean isEquivalentProperty(org.semanticweb.owlapi.model.OWLDataProperty p1,
                                    org.semanticweb.owlapi.model.OWLDataProperty p2)
Deprecated. 

isEquivalentProperty

public boolean isEquivalentProperty(org.semanticweb.owlapi.model.OWLObjectProperty p1,
                                    org.semanticweb.owlapi.model.OWLObjectProperty p2)
Deprecated. 

isFunctional

public boolean isFunctional(org.semanticweb.owlapi.model.OWLDataProperty p)
Deprecated. 

isFunctional

public boolean isFunctional(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. 

isInverseFunctional

public boolean isInverseFunctional(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. 

isInverseOf

public boolean isInverseOf(org.semanticweb.owlapi.model.OWLObjectProperty p1,
                           org.semanticweb.owlapi.model.OWLObjectProperty p2)
Deprecated. 

isIrreflexive

public boolean isIrreflexive(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. 

isRealised

public boolean isRealised()
                   throws org.semanticweb.owl.inference.OWLReasonerException
Deprecated. 
Throws:
org.semanticweb.owl.inference.OWLReasonerException

isReflexive

public boolean isReflexive(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. 

isSameAs

public boolean isSameAs(org.semanticweb.owlapi.model.OWLIndividual ind1,
                        org.semanticweb.owlapi.model.OWLIndividual ind2)
Deprecated. 
Test if two individuals are owl:DifferentFrom each other.

Returns:
Throws:
org.semanticweb.owlapi.model.OWLException

isSatisfiable

public boolean isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression d)
Deprecated. 
Returns true if the given class is satisfiable.

Parameters:
c -
Returns:
Throws:
org.semanticweb.owlapi.model.OWLException

isSubClassOf

public boolean isSubClassOf(org.semanticweb.owlapi.model.OWLClassExpression c1,
                            org.semanticweb.owlapi.model.OWLClassExpression c2)
Deprecated. 

isSubPropertyOf

public boolean isSubPropertyOf(org.semanticweb.owlapi.model.OWLDataProperty c1,
                               org.semanticweb.owlapi.model.OWLDataProperty c2)
Deprecated. 

isSubPropertyOf

public boolean isSubPropertyOf(org.semanticweb.owlapi.model.OWLObjectProperty c1,
                               org.semanticweb.owlapi.model.OWLObjectProperty c2)
Deprecated. 

isSubTypeOf

public boolean isSubTypeOf(org.semanticweb.owlapi.model.OWLDatatype d1,
                           org.semanticweb.owlapi.model.OWLDatatype d2)
Deprecated. 

isSymmetric

public boolean isSymmetric(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. 

isTransitive

public boolean isTransitive(org.semanticweb.owlapi.model.OWLObjectProperty p)
Deprecated. 

loadOntologies

public void loadOntologies(java.util.Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)
Deprecated. 

loadOntology

public void loadOntology(org.semanticweb.owlapi.model.OWLOntology ontology)
Deprecated. 

ontologiesChanged

public void ontologiesChanged(java.util.List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)
Deprecated. 
Listens to ontology changes and refreshes the underlying KB. Applies some of the ontology changes incrementally but applies full reload if incremental update cannot be handled for one of the changes. All additions can be handled incrementally but removal of some axioms cannot be handled. Note that, the incremental processing here is meant to refer only loading and not reasoning, i.e. it is different from the incremental reasoning support provided by Pellet.

Specified by:
ontologiesChanged in interface org.semanticweb.owlapi.model.OWLOntologyChangeListener

realise

public void realise()
Deprecated. 

refresh

public void refresh()
Deprecated. 

setOntology

public void setOntology(org.semanticweb.owlapi.model.OWLOntology ontology)
Deprecated. 
This will first clear the ontologies and then load the give ontology with is imports


unloadOntologies

public void unloadOntologies(java.util.Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)
Deprecated. 

unloadOntology

public void unloadOntology(org.semanticweb.owlapi.model.OWLOntology ontology)
Deprecated. 


Copyright © 2004 Evren Sirin. All Rights Reserved.