| 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 |
|---|---|
Stream<OWLIndividualAxiom> |
OWLAxiomCollection.axioms(OWLIndividual individual)
Gets the axioms that form the definition/description of an individual.
|
default Stream<OWLIndividualAxiom> |
OWLAxiomCollection.axioms(OWLIndividual individual,
Imports imports)
Gets the axioms that form the definition/description of an individual.
|
default Set<OWLIndividualAxiom> |
OWLAxiomCollection.getAxioms(OWLIndividual individual)
Deprecated.
use the stream method
|
default Set<OWLIndividualAxiom> |
OWLAxiomCollectionBooleanArgs.getAxioms(OWLIndividual individual,
boolean includeImportsClosure)
Deprecated.
use getAxioms(entity, Imports) instead
|
default Set<OWLIndividualAxiom> |
OWLAxiomCollection.getAxioms(OWLIndividual individual,
Imports includeImportsClosure)
Deprecated.
use the stream method
|
| Modifier and Type | Class and Description |
|---|---|
class |
InferredIndividualAxiomGenerator<A extends OWLIndividualAxiom> |
Copyright © 2018 The University of Manchester. All rights reserved.