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.
|
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.
|
Modifier and Type | Method and Description |
---|---|
default Set<OWLLogicalAxiom> |
HasLogicalAxioms.getLogicalAxioms()
Gets the set of
OWLLogicalAxiom s contained within this object. |
default Set<OWLLogicalAxiom> |
OWLAxiomCollectionBooleanArgs.getLogicalAxioms(boolean includeImportsClosure)
Deprecated.
|
default Set<OWLLogicalAxiom> |
OWLAxiomCollection.getLogicalAxioms(Imports includeImportsClosure)
Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or
declaration axioms.
|
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.
|
Modifier and Type | Method and Description |
---|---|
Stream<OWLLogicalAxiom> |
Internals.getLogicalAxioms() |
Stream<OWLLogicalAxiom> |
OWLImmutableOntologyImpl.logicalAxioms() |
Modifier and Type | Method and Description |
---|---|
Set<OWLLogicalAxiom> |
ConcurrentOWLOntologyImpl.getLogicalAxioms() |
Set<OWLLogicalAxiom> |
ConcurrentOWLOntologyImpl.getLogicalAxioms(boolean b) |
Set<OWLLogicalAxiom> |
ConcurrentOWLOntologyImpl.getLogicalAxioms(Imports imports) |
Stream<OWLLogicalAxiom> |
ConcurrentOWLOntologyImpl.logicalAxioms() |
Stream<OWLLogicalAxiom> |
ConcurrentOWLOntologyImpl.logicalAxioms(Imports imports) |
Copyright © 2020 The University of Manchester. All rights reserved.