uk.ac.manchester.cs.owl.owlapi

Class OWLLogicalAxiomImpl

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl

uk.ac.manchester.cs.owl.owlapi.OWLLogicalAxiomImpl

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, HasAnnotations, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, OWLAxiom, OWLLogicalAxiom, OWLObject, CollectionContainer<OWLAnnotation>

Direct Known Subclasses:

OWLClassAxiomImpl, OWLHasKeyAxiomImpl, OWLIndividualAxiomImpl, OWLIndividualRelationshipAxiomImpl, OWLPropertyAxiomImpl, SWRLRuleImpl

public abstract class OWLLogicalAxiomImpl
extends OWLAxiomImpl
implements OWLLogicalAxiom

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group, Date: 05-Dec-2006

See Also:

Serialized Form

Field Summary

Fields inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

NO_ANNOTATIONS, OWL_THING

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	OWLLogicalAxiomImpl(Collection<? extends OWLAnnotation> annotations)

Method Summary

Modifier and Type	Method and Description
boolean	isAnnotationAxiom() Determines if this axioms in an annotation axiom (an instance of OWLAnnotationAxiom)
boolean	isLogicalAxiom() Determines if this axiom is a logical axiom.

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl

accept, equals, equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfType, mergeAnnos

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

compareLists, compareObjectOfSameType, compareSets, compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom

accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isOfType, isOfType

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject

accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.semanticweb.owlapi.model.HasContainsEntityInSignature

containsEntityInSignature

Constructor Detail

OWLLogicalAxiomImpl

protected OWLLogicalAxiomImpl(Collection<? extends OWLAnnotation> annotations)

Parameters:

annotations - annotations on the axiom

Method Detail

isLogicalAxiom

public boolean isLogicalAxiom()

Description copied from interface: OWLAxiom

Determines if this axiom is a logical axiom. Logical axioms are defined to be axioms other than both declaration axioms (including imports declarations) and annotation axioms.

Specified by:

isLogicalAxiom in interface OWLAxiom

Returns:

true if the axiom is a logical axiom, false if the axiom is not a logical axiom.

isAnnotationAxiom

public boolean isAnnotationAxiom()

Description copied from interface: OWLAxiom

Determines if this axioms in an annotation axiom (an instance of OWLAnnotationAxiom)

Specified by:

isAnnotationAxiom in interface OWLAxiom

Returns:

true if this axiom is an instance of OWLAnnotationAxiom, otherwise false.