| Package | Description |
|---|---|
| org.semanticweb.owlapi.model | |
| org.semanticweb.owlapi.util |
| Modifier and Type | Interface and Description |
|---|---|
interface |
OWLDisjointClassesAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a DisjointClasses axiom in the OWL 2 Specification. |
interface |
OWLDisjointUnionAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a DisjointUnion axiom in the OWL 2 Specification. |
interface |
OWLEquivalentClassesAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an EquivalentClasses axiom in the OWL 2 Specification. |
interface |
OWLNaryClassAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 |
interface |
OWLSubClassOfAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an SubClassOf axiom in the OWL 2 Specification. |
| Modifier and Type | Method and Description |
|---|---|
Set<OWLClassAxiom> |
OWLOntology.getAxioms(OWLClass cls)
Gets the axioms that form the definition/description of a class.
|
Set<OWLClassAxiom> |
OWLOntology.getGeneralClassAxioms()
Gets the set of general axioms in this ontology.
|
| Modifier and Type | Class and Description |
|---|---|
class |
InferredClassAxiomGenerator<A extends OWLClassAxiom>
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007 |
Copyright © 2013 The University of Manchester. All Rights Reserved.