Package | Description |
---|---|
org.semanticweb.owlapi.model | |
org.semanticweb.owlapi.util | |
uk.ac.manchester.cs.owl.owlapi |
Modifier and Type | Interface and Description |
---|---|
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 |
OWLDisjointDataPropertiesAxiom
Represents a DisjointDataProperties axiom in the OWL 2 Specification.
|
interface |
OWLEquivalentDataPropertiesAxiom
Represents an EquivalentDataProperties axiom in the OWL 2 Specification.
|
interface |
OWLFunctionalDataPropertyAxiom
Represents a FunctionalDataProperty axiom in the OWL 2 Specification.
|
interface |
OWLSubDataPropertyOfAxiom
Represents an
SubDataPropertyOf axiom in the OWL 2 Specification.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLDataPropertyAxiom> |
OWLOntology.getAxioms(OWLDataProperty prop)
Gets the axioms that form the definition/description of a data property.
|
Modifier and Type | Class and Description |
---|---|
class |
InferredDataPropertyAxiomGenerator<A extends OWLDataPropertyAxiom> |
Modifier and Type | Class and Description |
---|---|
class |
OWLDataPropertyCharacteristicAxiomImpl |
class |
OWLDataPropertyDomainAxiomImpl |
class |
OWLDataPropertyRangeAxiomImpl |
class |
OWLDisjointDataPropertiesAxiomImpl |
class |
OWLEquivalentDataPropertiesAxiomImpl |
class |
OWLFunctionalDataPropertyAxiomImpl |
class |
OWLSubDataPropertyOfAxiomImpl |
Modifier and Type | Method and Description |
---|---|
Set<OWLDataPropertyAxiom> |
OWLOntologyImpl.getAxioms(OWLDataProperty prop) |
Copyright © 2017 The University of Manchester. All Rights Reserved.