| Package | Description |
|---|---|
| org.semanticweb.owlapi.model | |
| org.semanticweb.owlapi.util |
| Modifier and Type | Interface and Description |
|---|---|
interface |
OWLAsymmetricObjectPropertyAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents AsymmetricObjectProperty axioms in the OWL 2 specification. |
interface |
OWLDisjointObjectPropertiesAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 |
interface |
OWLEquivalentObjectPropertiesAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 |
interface |
OWLFunctionalObjectPropertyAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 |
interface |
OWLInverseFunctionalObjectPropertyAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 |
interface |
OWLInverseObjectPropertiesAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 29-Nov-2006 Represents an InverseObjectProperties axiom in the OWL 2 Specification. |
interface |
OWLIrreflexiveObjectPropertyAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 |
interface |
OWLObjectPropertyCharacteristicAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006 |
interface |
OWLObjectPropertyDomainAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 |
interface |
OWLObjectPropertyRangeAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 |
interface |
OWLReflexiveObjectPropertyAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents ReflexiveObjectProperty axioms in the OWL 2 specification. |
interface |
OWLSubObjectPropertyOfAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 |
interface |
OWLSubPropertyChainOfAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 22-Nov-2006 Represents a SubObjectPropertyOf axiom in the OWL 2 Specification where the subproperty is a chain of properties. |
interface |
OWLSymmetricObjectPropertyAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 |
interface |
OWLTransitiveObjectPropertyAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a TransitiveObjectProperty axiom in the OWL 2 Specification. |
| Modifier and Type | Method and Description |
|---|---|
Set<OWLObjectPropertyAxiom> |
OWLOntology.getAxioms(OWLObjectPropertyExpression prop)
Gets the axioms that form the definition/description of an object property.
|
| Modifier and Type | Class and Description |
|---|---|
class |
InferredObjectPropertyAxiomGenerator<A extends OWLObjectPropertyAxiom>
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007 |
Copyright © 2013 The University of Manchester. All Rights Reserved.