Package | Description |
---|---|
org.semanticweb.owlapi.functional.parser |
Functional syntax parser and renderer.
|
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 | Method and Description |
---|---|
OWLIndividualAxiom |
OWLFunctionalSyntaxParser.ClassAssertion() |
OWLIndividualAxiom |
OWLFunctionalSyntaxParser.DataPropertyAssertion() |
OWLIndividualAxiom |
OWLFunctionalSyntaxParser.DifferentIndividuals() |
OWLIndividualAxiom |
OWLFunctionalSyntaxParser.IndividualAxiom() |
OWLIndividualAxiom |
OWLFunctionalSyntaxParser.NegativeDataPropertyAssertion() |
OWLIndividualAxiom |
OWLFunctionalSyntaxParser.NegativeObjectPropertyAssertion() |
OWLIndividualAxiom |
OWLFunctionalSyntaxParser.ObjectPropertyAssertion() |
OWLIndividualAxiom |
OWLFunctionalSyntaxParser.SameIndividuals() |
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)
Gets the axioms that form the definition/description of an individual.
|
default Set<OWLIndividualAxiom> |
OWLAxiomCollectionBooleanArgs.getAxioms(OWLIndividual individual,
boolean includeImportsClosure)
Deprecated.
|
default 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> |
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 |
---|---|
Stream<OWLIndividualAxiom> |
OWLImmutableOntologyImpl.axioms(OWLIndividual individual) |
Modifier and Type | Method and Description |
---|---|
Stream<OWLIndividualAxiom> |
ConcurrentOWLOntologyImpl.axioms(OWLIndividual owlIndividual) |
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 © 2020 The University of Manchester. All rights reserved.