| Package | Description |
|---|---|
| org.semanticweb.owlapi.model |
Main API classes.
|
| org.semanticweb.owlapi.util |
Utilities package
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
OWLClassAssertionAxiom
Represents ClassAssertion
axioms in the OWL 2 Specification.
|
interface |
OWLDataPropertyAssertionAxiom
Represents a DataPropertyAssertion in the OWL 2 Specification.
|
interface |
OWLDifferentIndividualsAxiom
Represents a DifferentIndividuals axiom in the OWL 2 Specification.
|
interface |
OWLNaryIndividualAxiom |
interface |
OWLNegativeDataPropertyAssertionAxiom
Represents a NegativeDataPropertyAssertion axiom in the OWL 2 Specification.
|
interface |
OWLNegativeObjectPropertyAssertionAxiom
Represents a NegativeObjectPropertyAssertion axiom in the OWL 2 Specification.
|
interface |
OWLObjectPropertyAssertionAxiom
Represents an ObjectPropertyAssertion axiom in the OWL 2 Specification.
|
interface |
OWLPropertyAssertionAxiom<P extends OWLPropertyExpression,O extends OWLPropertyAssertionObject>
Represents an Assertion in the OWL
2 specification.
|
interface |
OWLSameIndividualAxiom
Represents an
SameIndividual axiom in the OWL 2 Specification.
|
| Modifier and Type | Method and Description |
|---|---|
Set<OWLIndividualAxiom> |
OWLAxiomCollectionNoArgs.getAxioms(OWLIndividual individual)
Deprecated.
use getAxioms(entity, Imports) instead
|
Set<OWLIndividualAxiom> |
OWLAxiomCollectionBooleanArgs.getAxioms(OWLIndividual individual,
boolean includeImportsClosure)
Deprecated.
use getAxioms(entity, Imports) instead
|
Set<OWLIndividualAxiom> |
OWLAxiomCollection.getAxioms(OWLIndividual individual,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of an individual.
|
| Modifier and Type | Class and Description |
|---|---|
class |
InferredIndividualAxiomGenerator<A extends OWLIndividualAxiom> |
Copyright © 2016 The University of Manchester. All Rights Reserved.