| Package | Description |
|---|---|
| org.semanticweb.owlapi.model | |
| uk.ac.manchester.cs.owl.owlapi |
| Modifier and Type | Interface and Description |
|---|---|
interface |
OWLDisjointDataPropertiesAxiom
Represents a DisjointDataProperties axiom in the OWL 2 Specification.
|
interface |
OWLDisjointObjectPropertiesAxiom
Represents DisjointObjectProperties axioms 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 |
OWLInverseObjectPropertiesAxiom
Represents an InverseObjectProperties Represents a statement that two properties are
the inverse of each other.
|
| Modifier and Type | Class and Description |
|---|---|
class |
OWLDisjointDataPropertiesAxiomImpl |
class |
OWLDisjointObjectPropertiesAxiomImpl |
class |
OWLEquivalentDataPropertiesAxiomImpl |
class |
OWLEquivalentObjectPropertiesAxiomImpl |
class |
OWLInverseObjectPropertiesAxiomImpl |
class |
OWLNaryPropertyAxiomImpl<P extends OWLPropertyExpression<?,?>> |
Copyright © 2014 The University of Manchester. All Rights Reserved.