Uses of Interface
org.semanticweb.owlapi.model.OWLLogicalAxiom

Packages that use OWLLogicalAxiom

Package	Description
org.semanticweb.owlapi.model	Main API classes.

Uses of OWLLogicalAxiom in org.semanticweb.owlapi.model

Subinterfaces of OWLLogicalAxiom in org.semanticweb.owlapi.model

Modifier and Type	Interface and Description
interface	OWLAsymmetricObjectPropertyAxiom Represents AsymmetricObjectProperty axioms in the OWL 2 specification.
interface	OWLClassAssertionAxiom Represents ClassAssertion axioms in the OWL 2 Specification.
interface	OWLClassAxiom
interface	OWLDataPropertyAssertionAxiom Represents a DataPropertyAssertion in the OWL 2 Specification.
interface	OWLDataPropertyAxiom A high level interface which marks data property axioms (e.g.
interface	OWLDataPropertyCharacteristicAxiom
interface	OWLDataPropertyDomainAxiom Represents a DataPropertyDomain axiom in the OWL 2 Specification.
interface	OWLDataPropertyRangeAxiom Represents a DataPropertyRange axiom in the OWL 2 Specification.
interface	OWLDatatypeDefinitionAxiom Represents a DatatypeDefinition axiom in the OWL 2 Specification.
interface	OWLDifferentIndividualsAxiom Represents a DifferentIndividuals axiom in the OWL 2 Specification.
interface	OWLDisjointClassesAxiom Represents a DisjointClasses axiom in the OWL 2 Specification.
interface	OWLDisjointDataPropertiesAxiom Represents a DisjointDataProperties axiom in the OWL 2 Specification.
interface	OWLDisjointObjectPropertiesAxiom Represents DisjointObjectProperties axioms in the OWL 2 specification.
interface	OWLDisjointUnionAxiom Represents a DisjointUnion axiom in the OWL 2 Specification.
interface	OWLEquivalentClassesAxiom Represents an EquivalentClasses axiom in the OWL 2 Specification.
interface	OWLEquivalentDataPropertiesAxiom Represents an EquivalentDataProperties axiom in the OWL 2 Specification.
interface	OWLEquivalentObjectPropertiesAxiom Represents EquivalentObjectProperties axioms in the OWL 2 specification.
interface	OWLFunctionalDataPropertyAxiom Represents a FunctionalDataProperty axiom in the OWL 2 Specification.
interface	OWLFunctionalObjectPropertyAxiom Represents FunctionalObjectProperty axioms in the OWL 2 specification.
interface	OWLHasKeyAxiom Represents a HasKey axiom in the OWL 2 Specification.
interface	OWLIndividualAxiom
interface	OWLInverseFunctionalObjectPropertyAxiom Represents InverseFunctionalObjectProperty axioms in the OWL 2 specification.
interface	OWLInverseObjectPropertiesAxiom Represents an InverseObjectProperties axiom in the OWL 2 Specification.
interface	OWLIrreflexiveObjectPropertyAxiom Represents IrreflexiveObjectProperty axioms in the OWL 2 Specification.
interface	OWLNaryClassAxiom
interface	OWLNaryIndividualAxiom
interface	OWLNaryPropertyAxiom<P extends OWLPropertyExpression>
interface	OWLNegativeDataPropertyAssertionAxiom Represents a NegativeDataPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLNegativeObjectPropertyAssertionAxiom Represents a NegativeObjectPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLObjectPropertyAssertionAxiom Represents an ObjectPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLObjectPropertyAxiom
interface	OWLObjectPropertyCharacteristicAxiom
interface	OWLObjectPropertyDomainAxiom Represents ObjectPropertyDomain axioms in the OWL 2 specification.
interface	OWLObjectPropertyRangeAxiom Represents ObjectPropertyRange axioms in the OWL 2 specification.
interface	OWLPropertyAssertionAxiom<P extends OWLPropertyExpression,O extends OWLPropertyAssertionObject> Represents an Assertion in the OWL 2 specification.
interface	OWLPropertyAxiom The base interface for property axioms.
interface	OWLPropertyDomainAxiom<P extends OWLPropertyExpression> Represents ObjectPropertyDomain axioms in the OWL 2 specification.
interface	OWLPropertyRangeAxiom<P extends OWLPropertyExpression,R extends OWLPropertyRange> Represents ObjectPropertyRange axioms in the OWL 2 specification.
interface	OWLReflexiveObjectPropertyAxiom Represents ReflexiveObjectProperty axioms in the OWL 2 specification.
interface	OWLSameIndividualAxiom Represents an SameIndividual axiom in the OWL 2 Specification.
interface	OWLSubClassOfAxiom Represents an SubClassOf axiom in the OWL 2 Specification.
interface	OWLSubDataPropertyOfAxiom Represents an SubDataPropertyOf axiom in the OWL 2 Specification.
interface	OWLSubObjectPropertyOfAxiom Represents SubObjectPropertyOf axioms in the OWL 2 specification.
interface	OWLSubPropertyAxiom<P extends OWLPropertyExpression>
interface	OWLSubPropertyChainOfAxiom Represents a SubObjectPropertyOf axiom in the OWL 2 Specification where the subproperty is a chain of properties.
interface	OWLSymmetricObjectPropertyAxiom Represents SymmetricObjectProperty axioms in the OWL 2 specification.
interface	OWLTransitiveObjectPropertyAxiom Represents a TransitiveObjectProperty axiom in the OWL 2 Specification.
interface	OWLUnaryPropertyAxiom<P extends OWLPropertyExpression>
interface	SWRLRule Represent a rule.

Methods in org.semanticweb.owlapi.model that return types with arguments of type OWLLogicalAxiom

Modifier and Type	Method and Description
default Set<OWLLogicalAxiom>	HasLogicalAxioms.getLogicalAxioms() Deprecated. use the stream method
default Set<OWLLogicalAxiom>	OWLAxiomCollectionBooleanArgs.getLogicalAxioms(boolean includeImportsClosure) Deprecated. use the stream method
default Set<OWLLogicalAxiom>	OWLAxiomCollection.getLogicalAxioms(Imports includeImportsClosure) Deprecated. use the stream method
Stream<OWLLogicalAxiom>	HasLogicalAxioms.logicalAxioms()
default Stream<OWLLogicalAxiom>	OWLAxiomCollection.logicalAxioms(Imports imports) Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or declaration axioms.