| Package | Description |
|---|---|
| org.semanticweb.owlapi.model | |
| org.semanticweb.owlapi.util |
| Modifier and Type | Interface and Description |
|---|---|
interface |
OWLClassAssertionAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents ClassAssertion axioms in the OWL 2 Specification. |
interface |
OWLDataPropertyAssertionAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a DataPropertyAssertion in the OWL 2 Specification. |
interface |
OWLDifferentIndividualsAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a DifferentIndividuals axiom in the OWL 2 Specification. |
interface |
OWLNaryIndividualAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 |
interface |
OWLNegativeDataPropertyAssertionAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a NegativeDataPropertyAssertion axiom in the OWL 2 Specification. |
interface |
OWLNegativeObjectPropertyAssertionAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a NegativeObjectPropertyAssertion axiom in the OWL 2 Specification. |
interface |
OWLObjectPropertyAssertionAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an ObjectPropertyAssertion axiom in the OWL 2 Specification. |
interface |
OWLPropertyAssertionAxiom<P extends OWLPropertyExpression<?,?>,O extends OWLPropertyAssertionObject>
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an Assertion in the OWL 2 specification. |
interface |
OWLSameIndividualAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an SameIndividual axiom in the OWL 2 Specification. |
| Modifier and Type | Method and Description |
|---|---|
Set<OWLIndividualAxiom> |
OWLOntology.getAxioms(OWLIndividual individual)
Gets the axioms that form the definition/description of an individual
|
| Modifier and Type | Class and Description |
|---|---|
class |
InferredIndividualAxiomGenerator<A extends OWLIndividualAxiom>
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007 |
Copyright © 2013 The University of Manchester. All Rights Reserved.