Package | Description |
---|---|
org.semanticweb.owlapi.model |
Main API classes.
|
org.semanticweb.owlapi.util |
Utilities package.
|
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 |
OWLDisjointObjectPropertiesAxiom
Represents
DisjointObjectProperties axioms in the OWL 2 specification.
|
interface |
OWLEquivalentObjectPropertiesAxiom
Represents
EquivalentObjectProperties axioms in the OWL 2 specification.
|
interface |
OWLFunctionalObjectPropertyAxiom
Represents
FunctionalObjectProperty axioms in the OWL 2 specification.
|
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 |
OWLObjectPropertyCharacteristicAxiom |
interface |
OWLObjectPropertyDomainAxiom
Represents
ObjectPropertyDomain axioms in the OWL 2 specification.
|
interface |
OWLObjectPropertyRangeAxiom
Represents
ObjectPropertyRange axioms in the OWL 2 specification.
|
interface |
OWLReflexiveObjectPropertyAxiom
Represents
ReflexiveObjectProperty axioms in the OWL 2 specification.
|
interface |
OWLSubObjectPropertyOfAxiom
Represents
SubObjectPropertyOf axioms in the OWL 2 specification.
|
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.
|
Modifier and Type | Method and Description |
---|---|
Stream<OWLObjectPropertyAxiom> |
OWLAxiomCollection.axioms(OWLObjectPropertyExpression property)
Gets the axioms that form the definition/description of an object property.
|
default Stream<OWLObjectPropertyAxiom> |
OWLAxiomCollection.axioms(OWLObjectPropertyExpression property,
Imports imports)
Gets the axioms that form the definition/description of an object property.
|
default Set<OWLObjectPropertyAxiom> |
OWLAxiomCollection.getAxioms(OWLObjectPropertyExpression property)
Gets the axioms that form the definition/description of an object property.
|
default Set<OWLObjectPropertyAxiom> |
OWLAxiomCollectionBooleanArgs.getAxioms(OWLObjectPropertyExpression property,
boolean includeImportsClosure)
Deprecated.
|
default Set<OWLObjectPropertyAxiom> |
OWLAxiomCollection.getAxioms(OWLObjectPropertyExpression property,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of an object property.
|
Modifier and Type | Class and Description |
---|---|
class |
InferredObjectPropertyAxiomGenerator<A extends OWLObjectPropertyAxiom> |
Modifier and Type | Class and Description |
---|---|
class |
OWLAsymmetricObjectPropertyAxiomImpl |
class |
OWLDisjointObjectPropertiesAxiomImpl |
class |
OWLEquivalentObjectPropertiesAxiomImpl |
class |
OWLFunctionalObjectPropertyAxiomImpl |
class |
OWLInverseFunctionalObjectPropertyAxiomImpl |
class |
OWLInverseObjectPropertiesAxiomImpl |
class |
OWLIrreflexiveObjectPropertyAxiomImpl |
class |
OWLObjectPropertyCharacteristicAxiomImpl |
class |
OWLObjectPropertyDomainAxiomImpl |
class |
OWLObjectPropertyRangeAxiomImpl |
class |
OWLReflexiveObjectPropertyAxiomImpl |
class |
OWLSubObjectPropertyOfAxiomImpl |
class |
OWLSubPropertyChainAxiomImpl |
class |
OWLSymmetricObjectPropertyAxiomImpl |
class |
OWLTransitiveObjectPropertyAxiomImpl |
Modifier and Type | Method and Description |
---|---|
Stream<OWLObjectPropertyAxiom> |
OWLImmutableOntologyImpl.axioms(OWLObjectPropertyExpression property) |
Modifier and Type | Method and Description |
---|---|
Stream<OWLObjectPropertyAxiom> |
ConcurrentOWLOntologyImpl.axioms(OWLObjectPropertyExpression owlObjectPropertyExpression) |
Stream<OWLObjectPropertyAxiom> |
ConcurrentOWLOntologyImpl.axioms(OWLObjectPropertyExpression property,
Imports imports) |
Set<OWLObjectPropertyAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression) |
Set<OWLObjectPropertyAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression,
boolean b) |
Set<OWLObjectPropertyAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression,
Imports imports) |
Copyright © 2020 The University of Manchester. All rights reserved.