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

Packages that use OWLLogicalAxiom

Package	Description
org.semanticweb.owlapi.model	Main API classes.
uk.ac.manchester.cs.owl.owlapi	OWL API reference implementation package.
uk.ac.manchester.cs.owl.owlapi.concurrent	Concurrent implementation package.

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
java.util.stream.Stream<OWLLogicalAxiom>	HasLogicalAxioms.logicalAxioms()
default java.util.stream.Stream<OWLLogicalAxiom>	OWLAxiomCollection.logicalAxioms(Imports imports) Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or declaration axioms.

Uses of OWLLogicalAxiom in uk.ac.manchester.cs.owl.owlapi

Classes in uk.ac.manchester.cs.owl.owlapi that implement OWLLogicalAxiom

Modifier and Type	Class and Description
class	OWLAsymmetricObjectPropertyAxiomImpl
class	OWLClassAssertionAxiomImpl
class	OWLClassAxiomImpl
class	OWLDataPropertyAssertionAxiomImpl
class	OWLDataPropertyCharacteristicAxiomImpl
class	OWLDataPropertyDomainAxiomImpl
class	OWLDataPropertyRangeAxiomImpl
class	OWLDatatypeDefinitionAxiomImpl
class	OWLDifferentIndividualsAxiomImpl
class	OWLDisjointClassesAxiomImpl
class	OWLDisjointDataPropertiesAxiomImpl
class	OWLDisjointObjectPropertiesAxiomImpl
class	OWLDisjointUnionAxiomImpl
class	OWLEquivalentClassesAxiomImpl
class	OWLEquivalentDataPropertiesAxiomImpl
class	OWLEquivalentObjectPropertiesAxiomImpl
class	OWLFunctionalDataPropertyAxiomImpl
class	OWLFunctionalObjectPropertyAxiomImpl
class	OWLHasKeyAxiomImpl
class	OWLIndividualAxiomImpl
class	OWLIndividualRelationshipAxiomImpl<P extends OWLPropertyExpression,O extends OWLPropertyAssertionObject>
class	OWLInverseFunctionalObjectPropertyAxiomImpl
class	OWLInverseObjectPropertiesAxiomImpl
class	OWLIrreflexiveObjectPropertyAxiomImpl
class	OWLLogicalAxiomImpl
class	OWLNaryClassAxiomImpl
class	OWLNaryIndividualAxiomImpl
class	OWLNaryPropertyAxiomImpl<P extends OWLPropertyExpression>
class	OWLNegativeDataPropertyAssertionAxiomImpl
class	OWLNegativeObjectPropertyAssertionAxiomImpl
class	OWLObjectPropertyAssertionAxiomImpl
class	OWLObjectPropertyCharacteristicAxiomImpl
class	OWLObjectPropertyDomainAxiomImpl
class	OWLObjectPropertyRangeAxiomImpl
class	OWLPropertyAxiomImpl
class	OWLPropertyDomainAxiomImpl<P extends OWLPropertyExpression>
class	OWLPropertyRangeAxiomImpl<P extends OWLPropertyExpression,R extends OWLPropertyRange>
class	OWLReflexiveObjectPropertyAxiomImpl
class	OWLSameIndividualAxiomImpl
class	OWLSubClassOfAxiomImpl
class	OWLSubDataPropertyOfAxiomImpl
class	OWLSubObjectPropertyOfAxiomImpl
class	OWLSubPropertyAxiomImpl<P extends OWLPropertyExpression>
class	OWLSubPropertyChainAxiomImpl
class	OWLSymmetricObjectPropertyAxiomImpl
class	OWLTransitiveObjectPropertyAxiomImpl
class	OWLUnaryPropertyAxiomImpl<P extends OWLPropertyExpression>
class	SWRLRuleImpl

Methods in uk.ac.manchester.cs.owl.owlapi that return types with arguments of type OWLLogicalAxiom

Modifier and Type	Method and Description
java.util.stream.Stream<OWLLogicalAxiom>	Internals.getLogicalAxioms()
java.util.stream.Stream<OWLLogicalAxiom>	OWLImmutableOntologyImpl.logicalAxioms()

Uses of OWLLogicalAxiom in uk.ac.manchester.cs.owl.owlapi.concurrent

Methods in uk.ac.manchester.cs.owl.owlapi.concurrent that return types with arguments of type OWLLogicalAxiom

Modifier and Type	Method and Description
Set<OWLLogicalAxiom>	ConcurrentOWLOntologyImpl.getLogicalAxioms()
Set<OWLLogicalAxiom>	ConcurrentOWLOntologyImpl.getLogicalAxioms(boolean b)
Set<OWLLogicalAxiom>	ConcurrentOWLOntologyImpl.getLogicalAxioms(Imports imports)
java.util.stream.Stream<OWLLogicalAxiom>	ConcurrentOWLOntologyImpl.logicalAxioms()
java.util.stream.Stream<OWLLogicalAxiom>	ConcurrentOWLOntologyImpl.logicalAxioms(Imports imports)