| Package | Description |
|---|---|
| org.semanticweb.owlapi.model |
Main API classes.
|
| org.semanticweb.owlapi.util |
Utilities package
|
| 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> |
OWLAxiomCollectionNoArgs.getAxioms(OWLDataProperty property)
Deprecated.
use getAxioms(entity, Imports) instead
|
Set<OWLDataPropertyAxiom> |
OWLAxiomCollectionBooleanArgs.getAxioms(OWLDataProperty property,
boolean includeImportsClosure)
Deprecated.
use getAxioms(entity, Imports) instead
|
Set<OWLDataPropertyAxiom> |
OWLAxiomCollection.getAxioms(OWLDataProperty property,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of a data property.
|
| Modifier and Type | Class and Description |
|---|---|
class |
InferredDataPropertyAxiomGenerator<A extends OWLDataPropertyAxiom> |
Copyright © 2016 The University of Manchester. All Rights Reserved.