|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface OWLAxiom
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 24-Oct-2006
Method Summary | ||
---|---|---|
void |
accept(OWLAxiomVisitor visitor)
|
|
|
accept(OWLAxiomVisitorEx<O> visitor)
|
|
OWLAxiom |
getAnnotatedAxiom(java.util.Set<OWLAnnotation> annotations)
Gets a copy of this axiom that is annotated with the specified annotations. |
|
java.util.Set<OWLAnnotation> |
getAnnotations()
Gets the annotations that are annotate this axiom. |
|
AxiomType |
getAxiomType()
Gets the axiom type for this axiom. |
|
OWLAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations. |
|
OWLAxiom |
getNNF()
Gets this axioms in negation normal form. |
|
java.util.Set<OWLEntity> |
getReferencedEntities()
A convenience method that obtains the entities that this axiom references. |
|
boolean |
isAnnotated()
Determines if this axiom has any annotations on it |
|
boolean |
isLogicalAxiom()
Determines if this axiom is a logical axiom. |
|
boolean |
isOfType(AxiomType... axiomTypes)
Determines if this axiom is one of the specified types |
|
boolean |
isOfType(java.util.Set<AxiomType> types)
Determines if this axiom is one of the specified types |
Methods inherited from interface org.semanticweb.owlapi.model.OWLObject |
---|
accept, accept, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getSignature |
Methods inherited from interface java.lang.Comparable |
---|
compareTo |
Method Detail |
---|
void accept(OWLAxiomVisitor visitor)
<O> O accept(OWLAxiomVisitorEx<O> visitor)
java.util.Set<OWLAnnotation> getAnnotations()
OWLAxiom getAxiomWithoutAnnotations()
OWLAxiom getAnnotatedAxiom(java.util.Set<OWLAnnotation> annotations)
annotations
- The annotations that will be added to existing annotations to annotate the copy of this axiom
OWLAxiom#getAnnotations()
method.boolean isLogicalAxiom()
true
if the axiom is a logical axiom, false
if the axiom is not a logical axiom.boolean isAnnotated()
true
if this axiom has annotations on it, otherwise false
java.util.Set<OWLEntity> getReferencedEntities()
OWLEntity
objects.AxiomType getAxiomType()
boolean isOfType(AxiomType... axiomTypes)
axiomTypes
- The axiom types to check for
true
if this axiom is one of the specified types, otherwise false
boolean isOfType(java.util.Set<AxiomType> types)
types
- The axiom types to check for
true
if this axioms is one of the specified types, otherwise false
OWLAxiom getNNF()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |