Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Interface
org.semanticweb.owl.model.OWLAxiom

Packages that use OWLAxiom
com.clarkparsia.explanation   
com.clarkparsia.explanation.io   
com.clarkparsia.explanation.util   
com.clarkparsia.modularity.locality   
org.coode.manchesterowlsyntax   
org.coode.owl.functionalparser   
org.coode.owl.functionalrenderer   
org.coode.owl.krssparser   
org.coode.owl.owlxmlparser   
org.coode.owl.rdfxml.parser   
org.semanticweb.owl.debugging   
org.semanticweb.owl.metrics   
org.semanticweb.owl.model   
org.semanticweb.owl.modularity   
org.semanticweb.owl.profiles   
org.semanticweb.owl.util   
uk.ac.manchester.cs.owl   
uk.ac.manchester.cs.owl.dlsyntax.parser   
uk.ac.manchester.cs.owl.explanation.ordering   
uk.ac.manchester.cs.owl.mansyntaxrenderer   
uk.ac.manchester.cs.owl.modularity   
 

Uses of OWLAxiom in com.clarkparsia.explanation
 

Methods in com.clarkparsia.explanation that return types with arguments of type OWLAxiom
 java.util.Set<OWLAxiom> DefaultExplanationGenerator.getExplanation(OWLAxiom axiom)
           
 java.util.Set<OWLAxiom> SingleExplanationGenerator.getExplanation(OWLDescription unsatClass)
          Get a single explanation for an arbitrary class expression, or empty set if the given expression is satisfiable.
 java.util.Set<OWLAxiom> HSTExplanationGenerator.getExplanation(OWLDescription unsatClass)
           
 java.util.Set<OWLAxiom> ExplanationGenerator.getExplanation(OWLDescription unsatClass)
          Returns a single explanation for the given unsatisfiable class.
 java.util.Set<OWLAxiom> DefaultExplanationGenerator.getExplanation(OWLDescription unsatClass)
           
 java.util.Set<OWLAxiom> BlackBoxExplanation.getExplanation(OWLDescription unsatClass)
           
 java.util.Set<java.util.Set<OWLAxiom>> DefaultExplanationGenerator.getExplanations(OWLAxiom axiom)
           
 java.util.Set<java.util.Set<OWLAxiom>> DefaultExplanationGenerator.getExplanations(OWLAxiom axiom, int maxExplanations)
           
 java.util.Set<java.util.Set<OWLAxiom>> HSTExplanationGenerator.getExplanations(OWLDescription unsatClass)
           
 java.util.Set<java.util.Set<OWLAxiom>> ExplanationGenerator.getExplanations(OWLDescription unsatClass)
          Returns all the explanations for the given unsatisfiable class.
 java.util.Set<java.util.Set<OWLAxiom>> DefaultExplanationGenerator.getExplanations(OWLDescription unsatClass)
           
 java.util.Set<java.util.Set<OWLAxiom>> HSTExplanationGenerator.getExplanations(OWLDescription unsatClass, int maxExplanations)
           
 java.util.Set<java.util.Set<OWLAxiom>> ExplanationGenerator.getExplanations(OWLDescription unsatClass, int maxExplanations)
          Return a specified number of explanations for the given unsatisfiable class.
 java.util.Set<java.util.Set<OWLAxiom>> DefaultExplanationGenerator.getExplanations(OWLDescription unsatClass, int maxExplanations)
           
 

Methods in com.clarkparsia.explanation with parameters of type OWLAxiom
 OWLDescription SatisfiabilityConverter.convert(OWLAxiom axiom)
           
 java.util.Set<OWLAxiom> DefaultExplanationGenerator.getExplanation(OWLAxiom axiom)
           
 java.util.Set<java.util.Set<OWLAxiom>> DefaultExplanationGenerator.getExplanations(OWLAxiom axiom)
           
 java.util.Set<java.util.Set<OWLAxiom>> DefaultExplanationGenerator.getExplanations(OWLAxiom axiom, int maxExplanations)
           
 

Uses of OWLAxiom in com.clarkparsia.explanation.io
 

Methods in com.clarkparsia.explanation.io with parameters of type OWLAxiom
 void SilentExplanationRenderer.render(OWLAxiom axiom, java.util.Set<java.util.Set<OWLAxiom>> explanations)
           
 void ExplanationRenderer.render(OWLAxiom axiom, java.util.Set<java.util.Set<OWLAxiom>> explanations)
           
 void ConciseExplanationRenderer.render(OWLAxiom axiom, java.util.Set<java.util.Set<OWLAxiom>> explanations)
           
 

Method parameters in com.clarkparsia.explanation.io with type arguments of type OWLAxiom
 void SilentExplanationRenderer.render(OWLAxiom axiom, java.util.Set<java.util.Set<OWLAxiom>> explanations)
           
 void ExplanationRenderer.render(OWLAxiom axiom, java.util.Set<java.util.Set<OWLAxiom>> explanations)
           
 void ConciseExplanationRenderer.render(OWLAxiom axiom, java.util.Set<java.util.Set<OWLAxiom>> explanations)
           
 

Uses of OWLAxiom in com.clarkparsia.explanation.util
 

Methods in com.clarkparsia.explanation.util with parameters of type OWLAxiom
static void OntologyUtils.addAxiom(OWLAxiom axiom, java.util.Set<OWLOntology> ontologies, OWLOntologyManager manager)
          Add the axiom to all the given ontologies.
static java.util.Set<OWLOntology> OntologyUtils.removeAxiom(OWLAxiom axiom, java.util.Set<OWLOntology> ontologies, OWLOntologyManager manager)
          Removes an axiom from all the given ontologies that contains the axiom and returns those ontologies.
 

Method parameters in com.clarkparsia.explanation.util with type arguments of type OWLAxiom
 void SilentExplanationProgressMonitor.foundExplanation(java.util.Set<OWLAxiom> axioms)
           
 void ExplanationProgressMonitor.foundExplanation(java.util.Set<OWLAxiom> axioms)
          Called when an explanation has been found.
 

Uses of OWLAxiom in com.clarkparsia.modularity.locality
 

Methods in com.clarkparsia.modularity.locality with parameters of type OWLAxiom
 boolean SyntacticLocalityEvaluator.isLocal(OWLAxiom axiom, java.util.Set<? extends OWLEntity> signature)
          True if the axiom is syntactically local w.r.t.
 boolean SemanticLocalityEvaluator.isLocal(OWLAxiom axiom, java.util.Set<? extends OWLEntity> signature)
          True if the axiom is semantically local w.r.t.
 boolean LocalityEvaluator.isLocal(OWLAxiom axiom, java.util.Set<? extends OWLEntity> signature)
           
 

Uses of OWLAxiom in org.coode.manchesterowlsyntax
 

Methods in org.coode.manchesterowlsyntax that return types with arguments of type OWLAxiom
 java.util.Set<OWLAxiom> ManchesterOWLSyntaxClassFrameParser.parse(java.lang.String expression)
           
 java.util.Set<OWLAxiom> ManchesterOWLSyntaxEditorParser.parseAnnotations(OWLEntity subject)
           
 java.util.Set<OWLAxiom> ManchesterOWLSyntaxEditorParser.parseClassFrame()
           
 java.util.Set<OWLAxiom> ManchesterOWLSyntaxEditorParser.parseClassFrameEOF()
           
 java.util.Set<OWLAxiom> ManchesterOWLSyntaxEditorParser.parseDataPropertyFrame()
           
 java.util.Set<OWLAxiom> ManchesterOWLSyntaxEditorParser.parseFrames()
           
 java.util.Set<OWLAxiom> ManchesterOWLSyntaxEditorParser.parseIndividualFrame()
           
 java.util.Set<OWLAxiom> ManchesterOWLSyntaxEditorParser.parseObjectPropertyCharacteristicList(OWLObjectPropertyExpression prop)
           
 java.util.Set<OWLAxiom> ManchesterOWLSyntaxEditorParser.parseObjectPropertyFrame()
           
 java.util.Set<OWLAxiom> ManchesterOWLSyntaxEditorParser.parseObjectPropertyFrame(boolean eof)
           
 java.util.Set<OWLAxiom> ManchesterOWLSyntaxEditorParser.parseValuePartitionFrame()
           
 java.util.Set<OWLAxiom> ManchesterOWLSyntaxEditorParser.parseValuePartitionValues(OWLClass superclass)
           
 

Uses of OWLAxiom in org.coode.owl.functionalparser
 

Methods in org.coode.owl.functionalparser that return OWLAxiom
 OWLAxiom OWLFunctionalSyntaxParser.Axiom()
           
 OWLAxiom OWLFunctionalSyntaxParser.Declaration()
           
 

Uses of OWLAxiom in org.coode.owl.functionalrenderer
 

Methods in org.coode.owl.functionalrenderer with parameters of type OWLAxiom
 void OWLObjectRenderer.writeAnnotations(OWLAxiom ax)
           
 void OWLObjectRenderer.writeAxiomStart(OWLXMLVocabulary v, OWLAxiom axiom)
           
 void OWLObjectRenderer.writePropertyCharacteristic(OWLXMLVocabulary v, OWLAxiom ax, OWLPropertyExpression prop)
           
 

Uses of OWLAxiom in org.coode.owl.krssparser
 

Methods in org.coode.owl.krssparser that return OWLAxiom
 OWLAxiom KRSSParser.ABoxStatement()
           
 OWLAxiom KRSSParser.DefineConcept()
           
 OWLAxiom KRSSParser.DefinePrimitiveConcept()
           
 OWLAxiom KRSSParser.DefinePrimitiveRole()
           
 OWLAxiom KRSSParser.Distinct()
           
 OWLAxiom KRSSParser.Equal()
           
 OWLAxiom KRSSParser.Instance()
           
 OWLAxiom KRSSParser.Range()
           
 OWLAxiom KRSSParser.Related()
           
 OWLAxiom KRSSParser.TBoxStatement()
           
 OWLAxiom KRSSParser.Transitive()
           
 

Uses of OWLAxiom in org.coode.owl.owlxmlparser
 

Methods in org.coode.owl.owlxmlparser that return OWLAxiom
 OWLAxiom AbstractOWLAxiomElementHandler.getOWLObject()
           
 

Methods in org.coode.owl.owlxmlparser with parameters of type OWLAxiom
 void AbstractOWLAxiomElementHandler.setAxiom(OWLAxiom axiom)
           
 

Uses of OWLAxiom in org.coode.owl.rdfxml.parser
 

Methods in org.coode.owl.rdfxml.parser that return OWLAxiom
 OWLAxiom OWLRDFConsumer.getAxiom(java.net.URI uri)
           
 OWLAxiom OWLRDFConsumer.getLastAddedAxiom()
           
 

Methods in org.coode.owl.rdfxml.parser with parameters of type OWLAxiom
 void OWLRDFConsumer.addReifiedAxiom(java.net.URI axiomURI, OWLAxiom axiom)
           
 

Uses of OWLAxiom in org.semanticweb.owl.debugging
 

Methods in org.semanticweb.owl.debugging that return types with arguments of type OWLAxiom
 java.util.Set<java.util.Set<OWLAxiom>> OWLDebugger.getAllSOSForIncosistentClass(OWLDescription cls)
          Gets all sets of supporting axioms that are responsible for the specified class being inconsistent
 java.util.Set<java.util.Set<OWLAxiom>> AbstractOWLDebugger.getAllSOSForIncosistentClass(OWLDescription cls)
           
 java.util.Set<OWLAxiom> JustificationMap.getChildAxioms(OWLAxiom ax)
           
 java.util.Set<OWLAxiom> JustificationMap.getRootAxioms()
           
 java.util.Set<OWLAxiom> OWLDebugger.getSOSForIncosistentClass(OWLDescription cls)
          Gets the first set of supporting (SOS) axioms that are responsible for the specified class being inconsistent.
 java.util.Set<OWLAxiom> BlackBoxOWLDebugger.getSOSForIncosistentClass(OWLDescription cls)
           
 

Methods in org.semanticweb.owl.debugging with parameters of type OWLAxiom
 java.util.Set<OWLAxiom> JustificationMap.getChildAxioms(OWLAxiom ax)
           
 

Method parameters in org.semanticweb.owl.debugging with type arguments of type OWLAxiom
 void AbstractOWLDebugger.constructHittingSetTree(java.util.Set<OWLAxiom> mups, java.util.Set<java.util.Set<OWLAxiom>> allMups, java.util.Set<java.util.Set<OWLAxiom>> satPaths, java.util.Set<OWLAxiom> currentPathContents)
          This is a recursive method that builds a hitting set tree to obtain all justifications for an unsatisfiable class.
 void AbstractOWLDebugger.constructHittingSetTree(java.util.Set<OWLAxiom> mups, java.util.Set<java.util.Set<OWLAxiom>> allMups, java.util.Set<java.util.Set<OWLAxiom>> satPaths, java.util.Set<OWLAxiom> currentPathContents)
          This is a recursive method that builds a hitting set tree to obtain all justifications for an unsatisfiable class.
 void AbstractOWLDebugger.constructHittingSetTree(java.util.Set<OWLAxiom> mups, java.util.Set<java.util.Set<OWLAxiom>> allMups, java.util.Set<java.util.Set<OWLAxiom>> satPaths, java.util.Set<OWLAxiom> currentPathContents)
          This is a recursive method that builds a hitting set tree to obtain all justifications for an unsatisfiable class.
 void AbstractOWLDebugger.constructHittingSetTree(java.util.Set<OWLAxiom> mups, java.util.Set<java.util.Set<OWLAxiom>> allMups, java.util.Set<java.util.Set<OWLAxiom>> satPaths, java.util.Set<OWLAxiom> currentPathContents)
          This is a recursive method that builds a hitting set tree to obtain all justifications for an unsatisfiable class.
 

Constructor parameters in org.semanticweb.owl.debugging with type arguments of type OWLAxiom
JustificationMap(OWLDescription desc, java.util.Set<OWLAxiom> axioms)
           
 

Uses of OWLAxiom in org.semanticweb.owl.metrics
 

Methods in org.semanticweb.owl.metrics that return types with arguments of type OWLAxiom
 java.util.Set<? extends OWLAxiom> AxiomCountMetric.getAxioms()
           
 java.util.Set<? extends OWLAxiom> AxiomCount.getAxioms()
           
 

Uses of OWLAxiom in org.semanticweb.owl.model
 

Classes in org.semanticweb.owl.model with type parameters of type OWLAxiom
 class AxiomType<C extends OWLAxiom>
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

Represents the type of axioms which can belong to ontologies
 

Subinterfaces of OWLAxiom in org.semanticweb.owl.model
 interface OWLAnnotationAxiom<S extends OWLObject>
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Oct-2006

Annotation axioms do not affect the logical meaning of an ontology.
 interface OWLAntiSymmetricObjectPropertyAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 States that an object property is asymmetric.
 interface OWLAxiomAnnotationAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 Represents an annotation on an axiom
 interface OWLClassAssertionAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLClassAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLDataPropertyAssertionAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 Represents an assertion about a relationship between and individual and a data value.
 interface OWLDataPropertyAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006

A high level interface which marks data property axioms (e.g.
 interface OWLDataPropertyCharacteristicAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 interface OWLDataPropertyDomainAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 Represents an axiom which specified the domain of a data property.
 interface OWLDataPropertyRangeAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 Represents an axiom which specifies the range of a data property.
 interface OWLDataSubPropertyAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLDeclarationAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 A declaration axiom declares an entity in an ontology.
 interface OWLDeprecatedClassAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 17-Nov-2006
 interface OWLDeprecatedDataPropertyAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 17-Nov-2006
 interface OWLDeprecatedObjectPropertyAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 17-Nov-2006
 interface OWLDifferentIndividualsAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLDisjointClassesAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLDisjointDataPropertiesAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLDisjointObjectPropertiesAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLDisjointUnionAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLEntityAnnotationAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Nov-2006

An annotation that annotates the entity in an entity declaration.
 interface OWLEquivalentClassesAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLEquivalentDataPropertiesAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLEquivalentObjectPropertiesAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLFunctionalDataPropertyAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLFunctionalObjectPropertyAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLImportsDeclaration
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006 A special kind of axiom that annotates an ontology to describe the ontologies that it imports.
 interface OWLIndividualAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLInverseFunctionalObjectPropertyAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLInverseObjectPropertiesAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 29-Nov-2006

Represents a statement that two properties are the inverse of each other.
 interface OWLIrreflexiveObjectPropertyAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLLogicalAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 05-Dec-2006

A base interface of all axioms that affect the logical meaning of an ontology.
 interface OWLNaryClassAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLNaryIndividualAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLNaryPropertyAxiom<P extends OWLPropertyExpression>
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLNegativeDataPropertyAssertionAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLNegativeObjectPropertyAssertionAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLObjectPropertyAssertionAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLObjectPropertyAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLObjectPropertyChainSubPropertyAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 22-Nov-2006
 interface OWLObjectPropertyCharacteristicAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 interface OWLObjectPropertyDomainAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLObjectPropertyRangeAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLObjectSubPropertyAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLOntologyAnnotationAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 28-Jan-2007
 interface OWLPropertyAssertionAxiom<P extends OWLPropertyExpression,O extends OWLObject>
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 An individual relationship axiom describes a relationship of the form Property(Subject, Object) i.e.
 interface OWLPropertyAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 The base interface for property axioms.
 interface OWLPropertyDomainAxiom<P extends OWLPropertyExpression>
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLPropertyRangeAxiom<P extends OWLPropertyExpression,R extends OWLPropertyRange>
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLReflexiveObjectPropertyAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLSameIndividualsAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLSubClassAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLSubPropertyAxiom<P extends OWLPropertyExpression>
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLSymmetricObjectPropertyAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLTransitiveObjectPropertyAxiom
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLUnaryPropertyAxiom<P extends OWLPropertyExpression>
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
 interface SWRLRule
          Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Represent a rule.
 

Methods in org.semanticweb.owl.model with type parameters of type OWLAxiom
<T extends OWLAxiom>
int
OWLOntology.getAxiomCount(AxiomType<T> axiomType)
          Gets the axiom count of a specific type of axiom
<T extends OWLAxiom>
java.util.Set<T>
OWLOntology.getAxioms(AxiomType<T> axiomType)
          Gets the axioms which are of the specified type.
 

Methods in org.semanticweb.owl.model that return OWLAxiom
 OWLAxiom SetOntologyURI.getAxiom()
          If the change is an axiom change (i.e.
abstract  OWLAxiom OWLOntologyChange.getAxiom()
          If the change is an axiom change (i.e.
 OWLAxiom OWLAxiomChange.getAxiom()
          Gets the axiom that is involved in the change (the axiom to either be added or removed)
 

Methods in org.semanticweb.owl.model that return types with arguments of type OWLAxiom
 java.util.Set<OWLAxiom> OWLOntology.getAxioms()
          Retrieves all of the axioms in this ontology.
 java.util.Set<OWLAxiom> OWLOntology.getReferencingAxioms(OWLEntity owlEntity)
          Gets the axioms where the specified entity appears anywhere in the axiom.
 

Methods in org.semanticweb.owl.model with parameters of type OWLAxiom
 java.util.List<OWLOntologyChange> OWLOntologyManager.addAxiom(OWLOntology ont, OWLAxiom axiom)
          A convenience method that adds a single axioms to an ontology.
 boolean OWLOntology.containsAxiom(OWLAxiom axiom)
          Determines if this ontology contains the specified axiom.
 java.util.Set<OWLAxiomAnnotationAxiom> OWLOntology.getAnnotations(OWLAxiom axiom)
          Gets the annotation axioms that annotate the specified axiom in this ontology.
 java.util.Set<OWLOntology> OWLOntologyManager.getOntologies(OWLAxiom axiom)
          Gets the ontologies that are managed by this manager that contain the specified axiom.
 OWLAxiomAnnotationAxiom OWLDataFactory.getOWLAxiomAnnotationAxiom(OWLAxiom axiom, OWLAnnotation annotation)
           
 

Method parameters in org.semanticweb.owl.model with type arguments of type OWLAxiom
 java.util.List<OWLOntologyChange> OWLOntologyManager.addAxioms(OWLOntology ont, java.util.Set<? extends OWLAxiom> axioms)
          A convenience method that adds a set of axioms to an ontology.
 OWLOntology OWLOntologyManager.createOntology(java.util.Set<OWLAxiom> axioms)
          Creates a new ontology that is initialised to contain specific axioms.
 OWLOntology OWLOntologyManager.createOntology(java.util.Set<OWLAxiom> axioms, java.net.URI ontologyURI)
          Creates a new ontology that has the specified ontology URI and is initialised to contain specific axioms.
 

Constructors in org.semanticweb.owl.model with parameters of type OWLAxiom
AddAxiom(OWLOntology ont, OWLAxiom axiom)
           
OWLAxiomChange(OWLOntology ont, OWLAxiom axiom)
           
RemoveAxiom(OWLOntology ont, OWLAxiom axiom)
           
 

Uses of OWLAxiom in org.semanticweb.owl.modularity
 

Methods in org.semanticweb.owl.modularity that return types with arguments of type OWLAxiom
 java.util.Set<OWLAxiom> OntologySegmenter.extract(java.util.Set<OWLEntity> signature)
          Returns a set of axioms that is a segment of the ontology associated with this segmenter.
 

Uses of OWLAxiom in org.semanticweb.owl.profiles
 

Classes in org.semanticweb.owl.profiles with type parameters of type OWLAxiom
 class AxiomNotAllowed<A extends OWLAxiom>
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 16-Apr-2008
 

Constructors in org.semanticweb.owl.profiles with parameters of type OWLAxiom
OWL2Profile.NonSimplePropertyInAntiSymmetricPropertyAxiom(OWLAxiom construct)
           
OWL2Profile.NonSimplePropertyInDisjointPropertiesAxiom(OWLAxiom construct, java.util.Set<OWLObjectPropertyExpression> properties)
           
OWL2Profile.NonSimplePropertyInInverseFunctionalPropertyAxiom(OWLAxiom construct)
           
OWL2Profile.NonSimplePropertyInIrreflexivePropertyAxiom(OWLAxiom construct)
           
 

Constructor parameters in org.semanticweb.owl.profiles with type arguments of type OWLAxiom
AxiomsNotAllowed(ConstructNotAllowed cause, java.util.Set<OWLAxiom> construct)
           
AxiomsNotAllowed(java.util.Set<OWLAxiom> construct)
           
 

Uses of OWLAxiom in org.semanticweb.owl.util
 

Classes in org.semanticweb.owl.util with type parameters of type OWLAxiom
 interface InferredAxiomGenerator<A extends OWLAxiom>
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

Given a reasoner, implementations of this interface generate axioms that represent inferred information.
 class InferredEntityAxiomGenerator<E extends OWLEntity,A extends OWLAxiom>
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

Generates axioms which relate to inferred information for a specific entity.
 

Methods in org.semanticweb.owl.util that return OWLAxiom
 OWLAxiom OWLOntologyWalkerVisitor.getCurrentAxiom()
           
 OWLAxiom OWLOntologyWalker.getCurrentAxiom()
           
 

Methods in org.semanticweb.owl.util that return types with arguments of type OWLAxiom
 java.util.Set<OWLAxiom> StructuralTransformation.getTransformedAxioms(java.util.Set<OWLAxiom> axioms)
           
 

Methods in org.semanticweb.owl.util with parameters of type OWLAxiom
 AxiomType AxiomTypeProvider.getAxiomType(OWLAxiom axiom)
           
 OWLObject AxiomSubjectProvider.getSubject(OWLAxiom axiom)
           
 boolean OWLOntologyMerger.passes(OWLAxiom axiom)
           
 boolean OWLAxiomFilter.passes(OWLAxiom axiom)
           
 

Method parameters in org.semanticweb.owl.util with type arguments of type OWLAxiom
 java.util.Set<OWLAxiom> StructuralTransformation.getTransformedAxioms(java.util.Set<OWLAxiom> axioms)
           
 

Constructor parameters in org.semanticweb.owl.util with type arguments of type OWLAxiom
InferredOntologyGenerator(OWLReasoner reasoner, java.util.List<InferredAxiomGenerator<? extends OWLAxiom>> axiomGenerators)
           
 

Uses of OWLAxiom in uk.ac.manchester.cs.owl
 

Classes in uk.ac.manchester.cs.owl that implement OWLAxiom
 class OWLAnnotationAxiomImpl<S extends OWLObject>
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Oct-2006
 class OWLAntiSymmetricObjectPropertyAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLAxiomAnnotationAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLClassAssertionAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLClassAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 05-Dec-2006
 class OWLDataPropertyAssertionAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLDataPropertyCharacteristicAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLDataPropertyDomainAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLDataPropertyRangeAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLDataSubPropertyAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLDeclarationAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLDifferentIndividualsAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLDisjointClassesAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLDisjointDataPropertiesAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLDisjointObjectPropertiesAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLDisjointUnionAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLEntityAnnotationAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Nov-2006
 class OWLEquivalentClassesAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLEquivalentDataPropertiesAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLEquivalentObjectPropertiesAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLFunctionalDataPropertyAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLFunctionalObjectPropertyAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLImportsDeclarationImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLIndividualAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 05-Dec-2006
 class OWLIndividualRelationshipAxiomImpl<P extends OWLPropertyExpression,O extends OWLObject>
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLInverseFunctionalObjectPropertyAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLInverseObjectPropertiesAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 29-Nov-2006
 class OWLIrreflexiveObjectPropertyAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLLogicalAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 05-Dec-2006
 class OWLNaryClassAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLNaryIndividualAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLNaryPropertyAxiomImpl<P extends OWLPropertyExpression>
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLNegativeDataPropertyAssertionAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLNegativeObjectPropertyAssertionAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLObjectPropertyAssertionAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLObjectPropertyChainSubPropertyAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 22-Nov-2006
 class OWLObjectPropertyCharacteristicAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLObjectPropertyDomainAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLObjectPropertyRangeAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLObjectSubPropertyAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLOntologyAnnotationAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 28-Jan-2007
 class OWLPropertyAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 05-Dec-2006
 class OWLPropertyDomainAxiomImpl<P extends OWLPropertyExpression>
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLPropertyRangeAxiomImpl<P extends OWLPropertyExpression,R extends OWLPropertyRange>
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLReflexiveObjectPropertyAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLSameIndividualsAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLSubClassAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLSubPropertyAxiomImpl<P extends OWLPropertyExpression>
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLSymmetricObjectPropertyAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLTransitiveObjectPropertyAxiomImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLUnaryPropertyAxiomImpl<P extends OWLPropertyExpression>
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class SWRLRuleImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 15-Jan-2007
 

Methods in uk.ac.manchester.cs.owl with type parameters of type OWLAxiom
<T extends OWLAxiom>
int
OWLOntologyImpl.getAxiomCount(AxiomType<T> axiomType)
           
<T extends OWLAxiom>
java.util.Set<T>
OWLOntologyImpl.getAxioms(AxiomType<T> axiomType)
           
 

Methods in uk.ac.manchester.cs.owl that return types with arguments of type OWLAxiom
 java.util.Set<OWLAxiom> OWLOntologyImpl.getAxioms()
           
 java.util.Set<OWLAxiom> OWLOntologyImpl.getReferencingAxioms(OWLEntity owlEntity)
           
 

Methods in uk.ac.manchester.cs.owl with parameters of type OWLAxiom
 java.util.List<OWLOntologyChange> OWLOntologyManagerImpl.addAxiom(OWLOntology ont, OWLAxiom axiom)
           
 boolean OWLOntologyImpl.containsAxiom(OWLAxiom axiom)
           
 java.util.Set<OWLAxiomAnnotationAxiom> OWLOntologyImpl.getAnnotations(OWLAxiom axiom)
           
 java.util.Set<OWLOntology> OWLOntologyManagerImpl.getOntologies(OWLAxiom axiom)
           
 OWLAxiomAnnotationAxiom OWLDataFactoryImpl.getOWLAxiomAnnotationAxiom(OWLAxiom axiom, OWLAnnotation annotation)
           
 

Method parameters in uk.ac.manchester.cs.owl with type arguments of type OWLAxiom
 java.util.List<OWLOntologyChange> OWLOntologyManagerImpl.addAxioms(OWLOntology ont, java.util.Set<? extends OWLAxiom> axioms)
           
 OWLOntology OWLOntologyManagerImpl.createOntology(java.util.Set<OWLAxiom> axioms)
           
 OWLOntology OWLOntologyManagerImpl.createOntology(java.util.Set<OWLAxiom> axioms, java.net.URI ontologyURI)
           
 

Constructors in uk.ac.manchester.cs.owl with parameters of type OWLAxiom
OWLAxiomAnnotationAxiomImpl(OWLDataFactory dataFactory, OWLAxiom subject, OWLAnnotation annotation)
           
 

Uses of OWLAxiom in uk.ac.manchester.cs.owl.dlsyntax.parser
 

Methods in uk.ac.manchester.cs.owl.dlsyntax.parser that return OWLAxiom
 OWLAxiom DLSyntaxParser.parseAxiom()
           
 OWLAxiom DLSyntaxParser.parseClassAssertion()
           
 OWLAxiom DLSyntaxParser.parseClassAxiom()
           
 OWLAxiom DLSyntaxParser.parseDataPropertyAssertion()
           
 OWLAxiom DLSyntaxParser.parseDifferentIndividualsAxiom()
           
 OWLAxiom DLSyntaxParser.parseIndividualAxiom()
           
 OWLAxiom DLSyntaxParser.parseObjectPropertyAssertion()
           
 OWLAxiom DLSyntaxParser.parsePropertyAxiom()
           
 OWLAxiom DLSyntaxParser.parsePropertyChain()
           
 OWLAxiom DLSyntaxParser.parseSameIndividual()
           
 

Methods in uk.ac.manchester.cs.owl.dlsyntax.parser that return types with arguments of type OWLAxiom
 java.util.Set<OWLAxiom> DLSyntaxParser.parseAxioms()
           
 

Uses of OWLAxiom in uk.ac.manchester.cs.owl.explanation.ordering
 

Methods in uk.ac.manchester.cs.owl.explanation.ordering with parameters of type OWLAxiom
 ExplanationTree NullExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, java.util.Set<OWLAxiom> axioms)
           
 ExplanationTree ExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, java.util.Set<OWLAxiom> axioms)
          Gets an ordered (and possibly indented) explanation.
 ExplanationTree DefaultExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, java.util.Set<OWLAxiom> axioms)
           
 ExplanationTree AlphaExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, java.util.Set<OWLAxiom> axioms)
           
 

Method parameters in uk.ac.manchester.cs.owl.explanation.ordering with type arguments of type OWLAxiom
 ExplanationTree NullExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, java.util.Set<OWLAxiom> axioms)
           
 ExplanationTree ExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, java.util.Set<OWLAxiom> axioms)
          Gets an ordered (and possibly indented) explanation.
 ExplanationTree DefaultExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, java.util.Set<OWLAxiom> axioms)
           
 ExplanationTree AlphaExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, java.util.Set<OWLAxiom> axioms)
           
 

Constructors in uk.ac.manchester.cs.owl.explanation.ordering with parameters of type OWLAxiom
EntailedAxiomTree(OWLAxiom userObject)
           
ExplanationTree(OWLAxiom userObject)
           
 

Uses of OWLAxiom in uk.ac.manchester.cs.owl.mansyntaxrenderer
 

Methods in uk.ac.manchester.cs.owl.mansyntaxrenderer that return types with arguments of type OWLAxiom
 java.util.Set<OWLAxiom> ManchesterOWLSyntaxFrameRenderer.write(OWLClass cls)
           
 java.util.Set<OWLAxiom> ManchesterOWLSyntaxFrameRenderer.write(OWLDataProperty property)
           
 java.util.Set<OWLAxiom> ManchesterOWLSyntaxFrameRenderer.write(OWLIndividual individual)
           
 java.util.Set<OWLAxiom> ManchesterOWLSyntaxFrameRenderer.write(OWLObjectProperty property)
           
 

Uses of OWLAxiom in uk.ac.manchester.cs.owl.modularity
 

Methods in uk.ac.manchester.cs.owl.modularity that return types with arguments of type OWLAxiom
 java.util.Set<OWLAxiom> SyntacticLocalityModuleExtractor.extract(java.util.Set<OWLEntity> sig)
          Extracts a module from the associated ontology for a given signature and the associated module type, and returns the module as a set of axioms.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES