Package | Description |
---|---|
org.semanticweb.owlapi.model | |
uk.ac.manchester.cs.owl.owlapi |
Modifier and Type | Interface and Description |
---|---|
interface |
OWLAnnotation
Annotations are used in the various types of annotation axioms, which bind
annotations to their subjects (i.e.
|
interface |
OWLAnnotationAssertionAxiom
Represents AnnotationAssertion axioms in the OWL 2 specification.
|
interface |
OWLAnnotationPropertyDomainAxiom
Represents an AnnotationPropertyDomain axiom in the OWL 2 specification.
|
interface |
OWLAnnotationPropertyRangeAxiom
Represents an AnnotationPropertyRange axiom in the OWL 2 specification.
|
interface |
OWLAsymmetricObjectPropertyAxiom
Represents AsymmetricObjectProperty axioms in the OWL 2 specification.
|
interface |
OWLCardinalityRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F extends OWLPropertyRange> |
interface |
OWLDataAllValuesFrom
Represents DataAllValuesFrom class expressions in the OWL 2 Specification.
|
interface |
OWLDataCardinalityRestriction
Represents Data Property Cardinality Restrictions in the OWL 2 specification.
|
interface |
OWLDataExactCardinality
Represents DataExactCardinality retrictions in the OWL 2 Specification.
|
interface |
OWLDataHasValue
Represents DataHasValue retrictions in the OWL 2 Specification.
|
interface |
OWLDataMaxCardinality
Represents
DataMaxCardinality retrictions in the OWL 2 Specification.
|
interface |
OWLDataMinCardinality
Represents
DataMinCardinality retrictions in the OWL 2 Specification.
|
interface |
OWLDataPropertyAssertionAxiom
Represents a DataPropertyAssertion in the OWL 2 Specification.
|
interface |
OWLDataPropertyCharacteristicAxiom |
interface |
OWLDataPropertyDomainAxiom
Represents a
DataPropertyDomain axiom in the OWL 2 Specification.
|
interface |
OWLDataPropertyRangeAxiom
Represents a
DataPropertyRange axiom in the OWL 2 Specification.
|
interface |
OWLDataSomeValuesFrom
Represents a DataSomeValuesFrom restriction in the OWL 2 Specification.
|
interface |
OWLFunctionalDataPropertyAxiom
Represents a FunctionalDataProperty axiom in the OWL 2 Specification.
|
interface |
OWLFunctionalObjectPropertyAxiom
Represents FunctionalObjectProperty axioms in the OWL 2 specification.
|
interface |
OWLHasValueRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,V extends OWLObject> |
interface |
OWLInverseFunctionalObjectPropertyAxiom
Represents InverseFunctionalObjectProperty axioms in the OWL 2 specification.
|
interface |
OWLIrreflexiveObjectPropertyAxiom
Represents IrreflexiveObjectProperty axioms in the OWL 2 Specification.
|
interface |
OWLNegativeDataPropertyAssertionAxiom
Represents a NegativeDataPropertyAssertion axiom in the OWL 2 Specification.
|
interface |
OWLNegativeObjectPropertyAssertionAxiom
Represents a NegativeObjectPropertyAssertion axiom in the OWL 2 Specification.
|
interface |
OWLObjectAllValuesFrom
Represents an ObjectAllValuesFrom restriction in the OWL 2 Specification.
|
interface |
OWLObjectCardinalityRestriction |
interface |
OWLObjectExactCardinality
Represents an
ObjectExactCardinality restriction in the OWL 2 Specification.
|
interface |
OWLObjectHasSelf
Represents an ObjectHasSelf
class expression in the OWL 2 Specification.
|
interface |
OWLObjectHasValue
Represents an ObjectHasValue class expression in the OWL 2 Specification.
|
interface |
OWLObjectMaxCardinality
Represents an ObjectMaxCardinality restriction in the OWL 2 Specification.
|
interface |
OWLObjectMinCardinality
Represents a
ObjectMinCardinality restriction in the OWL 2 Specification.
|
interface |
OWLObjectPropertyAssertionAxiom
Represents an ObjectPropertyAssertion axiom in the OWL 2 Specification.
|
interface |
OWLObjectPropertyCharacteristicAxiom |
interface |
OWLObjectPropertyDomainAxiom
Represents
ObjectPropertyDomain axioms in the OWL 2 specification.
|
interface |
OWLObjectPropertyRangeAxiom
Represents
ObjectPropertyRange axioms in the OWL 2 specification.
|
interface |
OWLObjectSomeValuesFrom
Represents an ObjectSomeValuesFrom class expression in the OWL 2 Specification.
|
interface |
OWLPropertyAssertionAxiom<P extends OWLPropertyExpression<?,?>,O extends OWLPropertyAssertionObject> |
interface |
OWLPropertyDomainAxiom<P extends OWLPropertyExpression<?,?>>
Represents
ObjectPropertyDomain axioms in the OWL 2 specification.
|
interface |
OWLPropertyRangeAxiom<P extends OWLPropertyExpression<?,?>,R extends OWLPropertyRange>
Represents
ObjectPropertyRange axioms in the OWL 2 specification.
|
interface |
OWLQuantifiedDataRestriction
A quantified data restriction.
|
interface |
OWLQuantifiedObjectRestriction
A quantified object restriction.
|
interface |
OWLQuantifiedRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F extends OWLPropertyRange> |
interface |
OWLReflexiveObjectPropertyAxiom
Represents ReflexiveObjectProperty axioms in the OWL 2 specification.
|
interface |
OWLRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F> |
interface |
OWLSymmetricObjectPropertyAxiom
Represents SymmetricObjectProperty axioms in the OWL 2 specification.
|
interface |
OWLTransitiveObjectPropertyAxiom
Represents a TransitiveObjectProperty axiom in the OWL 2 Specification.
|
interface |
OWLUnaryPropertyAxiom<P extends OWLPropertyExpression<?,?>> |
Copyright © 2017 The University of Manchester. All Rights Reserved.