Package | Description |
---|---|
org.coode.owlapi.functionalparser | |
org.semanticweb.owlapi.model | |
org.semanticweb.owlapi.util | |
uk.ac.manchester.cs.owl.owlapi |
Modifier and Type | Method and Description |
---|---|
OWLIndividualAxiom |
OWLFunctionalSyntaxParser.ClassAssertion()
Class assertion.
|
OWLIndividualAxiom |
OWLFunctionalSyntaxParser.DataPropertyAssertion()
Data property assertion.
|
OWLIndividualAxiom |
OWLFunctionalSyntaxParser.DifferentIndividuals()
Different individuals.
|
OWLIndividualAxiom |
OWLFunctionalSyntaxParser.IndividualAxiom()
Individual axiom.
|
OWLIndividualAxiom |
OWLFunctionalSyntaxParser.NegativeDataPropertyAssertion()
Negative data property assertion.
|
OWLIndividualAxiom |
OWLFunctionalSyntaxParser.NegativeObjectPropertyAssertion()
Negative object property assertion.
|
OWLIndividualAxiom |
OWLFunctionalSyntaxParser.ObjectPropertyAssertion()
Object property assertion.
|
OWLIndividualAxiom |
OWLFunctionalSyntaxParser.SameIndividuals()
Same individuals.
|
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> |
interface |
OWLSameIndividualAxiom
Represents an
SameIndividual axiom in the OWL 2 Specification.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLIndividualAxiom> |
OWLOntology.getAxioms(OWLIndividual individual)
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 |
---|---|
Set<OWLIndividualAxiom> |
OWLOntologyImpl.getAxioms(OWLIndividual individual) |
Copyright © 2017 The University of Manchester. All Rights Reserved.