| Package | Description |
|---|---|
| org.semanticweb.owlapi.model |
Main API classes.
|
| org.semanticweb.owlapi.util |
Utilities package.
|
| uk.ac.manchester.cs.owl.owlapi |
OWL API reference implementation package.
|
| uk.ac.manchester.cs.owl.owlapi.concurrent |
Concurrent implementation 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 |
|---|---|
java.util.stream.Stream<OWLIndividualAxiom> |
OWLAxiomCollection.axioms(OWLIndividual individual)
Gets the axioms that form the definition/description of an individual.
|
default java.util.stream.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> |
| Modifier and Type | Class and Description |
|---|---|
class |
OWLClassAssertionAxiomImpl |
class |
OWLDataPropertyAssertionAxiomImpl |
class |
OWLDifferentIndividualsAxiomImpl |
class |
OWLIndividualAxiomImpl |
class |
OWLIndividualRelationshipAxiomImpl<P extends OWLPropertyExpression,O extends OWLPropertyAssertionObject> |
class |
OWLNaryIndividualAxiomImpl |
class |
OWLNegativeDataPropertyAssertionAxiomImpl |
class |
OWLNegativeObjectPropertyAssertionAxiomImpl |
class |
OWLObjectPropertyAssertionAxiomImpl |
class |
OWLSameIndividualAxiomImpl |
| Modifier and Type | Method and Description |
|---|---|
java.util.stream.Stream<OWLIndividualAxiom> |
OWLImmutableOntologyImpl.axioms(OWLIndividual individual) |
| Modifier and Type | Method and Description |
|---|---|
java.util.stream.Stream<OWLIndividualAxiom> |
ConcurrentOWLOntologyImpl.axioms(OWLIndividual owlIndividual) |
java.util.stream.Stream<OWLIndividualAxiom> |
ConcurrentOWLOntologyImpl.axioms(OWLIndividual individual,
Imports imports) |
Set<OWLIndividualAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(OWLIndividual owlIndividual) |
Set<OWLIndividualAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(OWLIndividual owlIndividual,
boolean b) |
Set<OWLIndividualAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(OWLIndividual owlIndividual,
Imports imports) |
Copyright © 2017 The University of Manchester. All Rights Reserved.