Package | Description |
---|---|
org.semanticweb.owlapi.change | |
org.semanticweb.owlapi.model | |
uk.ac.manchester.cs.owl.owlapi |
Modifier and Type | Class and Description |
---|---|
class |
AddAxiomData
Represents the specific non-ontology data required by an
AddAxiom
change. |
class |
AddImportData
Represents the specific non-ontology data required by an
AddImport
change. |
class |
AddOntologyAnnotationData
Represents the specific non-ontology data required by an
AddOntologyAnnotation change. |
class |
AxiomChangeData
Represent the common non-ontology data required by instances of
OWLAxiomChange . |
class |
ImportChangeData
Instances of this class represent
OWLOntologyChangeData for changes
that that are specific to the addition or removal of import statements
to/from an ontology. |
class |
OntologyAnnotationChangeData
Represents the specific non-ontology data required by an
AddOntologyAnnotation change. |
class |
OWLOntologyChangeData
Represents an abstraction of the essential non-ontology data required by a
particular kind of
OWLOntologyChange . |
class |
RemoveAxiomData
Represents the specific non-ontology data required by an
RemoveAxiom
change. |
class |
RemoveImportData
Represents the specific non-ontology data required by a
RemoveImport change. |
class |
RemoveOntologyAnnotationData
Represents the specific non-ontology data required by a
RemoveOntologyAnnotation change. |
class |
SetOntologyIDData
Represents the specific non-ontology data required by a
SetOntologyID change. |
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 |
OWLAnnotationAxiom
A super interface for annotation axioms.
|
interface |
OWLAnnotationObject
A marker interface for the values (objects) of annotations.
|
interface |
OWLAnnotationProperty
Represents an AnnotationProperty 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 |
OWLAnnotationSubject
A marker interface for annotation subjects, which can either be IRIs or
anonymous individuals, with visitor methods.
|
interface |
OWLAnnotationValue
A marker interface for annotation values, which can either be an IRI (URI),
Literal or Anonymous Individual, with visitor methods.
|
interface |
OWLAnonymousClassExpression
The super interface for all class expressions which are not named class
expressions (i.e.
|
interface |
OWLAnonymousIndividual
Represents Anonymous
Individuals in the OWL 2 Specification.
|
interface |
OWLAsymmetricObjectPropertyAxiom
Represents AsymmetricObjectProperty axioms in the OWL 2 specification.
|
interface |
OWLAxiom
Represents Axioms in
the OWL 2 Specification.
An OWL ontology contains a set of axioms. |
interface |
OWLBooleanClassExpression |
interface |
OWLCardinalityRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F extends OWLPropertyRange> |
interface |
OWLClass
Represents a Class in
the OWL 2 specification.
|
interface |
OWLClassAssertionAxiom
Represents ClassAssertion
axioms in the OWL 2 Specification.
|
interface |
OWLClassAxiom |
interface |
OWLClassExpression
Represents Class
Expressions in the OWL 2 specification.
|
interface |
OWLDataAllValuesFrom
Represents DataAllValuesFrom class expressions in the OWL 2 Specification.
|
interface |
OWLDataCardinalityRestriction
Represents Data Property Cardinality Restrictions in the OWL 2 specification.
|
interface |
OWLDataComplementOf
Represents DataComplementOf 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 |
OWLDataIntersectionOf
Represents DataIntersectionOf 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 |
OWLDataOneOf
Represents DataOneOf in the OWL 2 Specification.
|
interface |
OWLDataProperty
Represents a Data
Property in the OWL 2 Specification.
|
interface |
OWLDataPropertyAssertionAxiom
Represents a DataPropertyAssertion in the OWL 2 Specification.
|
interface |
OWLDataPropertyAxiom
A high level interface which marks data property axioms (e.g.
|
interface |
OWLDataPropertyCharacteristicAxiom |
interface |
OWLDataPropertyDomainAxiom
Represents a
DataPropertyDomain axiom in the OWL 2 Specification.
|
interface |
OWLDataPropertyExpression
A high level interface to describe different types of data properties.
|
interface |
OWLDataPropertyRangeAxiom
Represents a
DataPropertyRange axiom in the OWL 2 Specification.
|
interface |
OWLDataRange
Represents a DataRange in the OWL
2 Specification.
A high level interface which represents a data range. |
interface |
OWLDataSomeValuesFrom
Represents a DataSomeValuesFrom restriction in the OWL 2 Specification.
|
interface |
OWLDatatype
Represents a Datatype (named data
range) in the OWL 2 Specification.
|
interface |
OWLDatatypeDefinitionAxiom
Represents a
DatatypeDefinition axiom in the OWL 2 Specification.
|
interface |
OWLDatatypeRestriction
Represents a DatatypeRestriction data range in the OWL 2 Specification.
|
interface |
OWLDataUnionOf
Represents a DataUnionOf
data range in the OWL 2 Specification.
|
interface |
OWLDeclarationAxiom
Represents a Declaration A declaration axiom declares an entity in an ontology.
|
interface |
OWLDifferentIndividualsAxiom
Represents a DifferentIndividuals axiom in the OWL 2 Specification.
|
interface |
OWLDisjointClassesAxiom
Represents a DisjointClasses
axiom in the OWL 2 Specification.
|
interface |
OWLDisjointDataPropertiesAxiom
Represents a DisjointDataProperties axiom in the OWL 2 Specification.
|
interface |
OWLDisjointObjectPropertiesAxiom
Represents DisjointObjectProperties axioms in the OWL 2 specification.
|
interface |
OWLDisjointUnionAxiom
Represents a DisjointUnion axiom in the OWL 2 Specification.
|
interface |
OWLEntity
Represents Entities in the OWL 2 Specification.
|
interface |
OWLEquivalentClassesAxiom
Represents an EquivalentClasses axiom in the OWL 2 Specification.
|
interface |
OWLEquivalentDataPropertiesAxiom
Represents an EquivalentDataProperties axiom in the OWL 2 Specification.
|
interface |
OWLEquivalentObjectPropertiesAxiom
Represents EquivalentObjectProperties axioms in the OWL 2 specification.
|
interface |
OWLFacetRestriction
A facet restriction is used to restrict a particular datatype.
|
interface |
OWLFunctionalDataPropertyAxiom
Represents a FunctionalDataProperty axiom in the OWL 2 Specification.
|
interface |
OWLFunctionalObjectPropertyAxiom
Represents FunctionalObjectProperty axioms in the OWL 2 specification.
|
interface |
OWLHasKeyAxiom
Represents a HasKey
axiom in the OWL 2 Specification.
|
interface |
OWLHasValueRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,V extends OWLObject> |
interface |
OWLIndividual
Represents a named or anonymous individual.
|
interface |
OWLIndividualAxiom |
interface |
OWLInverseFunctionalObjectPropertyAxiom
Represents InverseFunctionalObjectProperty axioms in the OWL 2 specification.
|
interface |
OWLInverseObjectPropertiesAxiom
Represents an InverseObjectProperties Represents a statement that two properties are
the inverse of each other.
|
interface |
OWLIrreflexiveObjectPropertyAxiom
Represents IrreflexiveObjectProperty axioms in the OWL 2 Specification.
|
interface |
OWLLiteral
Represents a Literal
in the OWL 2 Specification.
|
interface |
OWLLogicalAxiom
A base interface of all axioms that affect the logical meaning of an
ontology.
|
interface |
OWLLogicalEntity
An
OWLLogicalEntity is an OWLEntity that is not an
OWLAnnotationProperty . |
interface |
OWLMutableOntology |
interface |
OWLNamedIndividual
Represents a Named
Individual in the OWL 2 Specification.
|
interface |
OWLNamedObject
Represents a named object for example, class, property, ontology etc.
|
interface |
OWLNaryAxiom
Represents an axiom that contains two or more operands that could also be
represented with multiple pairwise axioms
|
interface |
OWLNaryBooleanClassExpression |
interface |
OWLNaryClassAxiom |
interface |
OWLNaryDataRange |
interface |
OWLNaryIndividualAxiom |
interface |
OWLNaryPropertyAxiom<P extends OWLPropertyExpression<?,?>> |
interface |
OWLNegativeDataPropertyAssertionAxiom
Represents a NegativeDataPropertyAssertion axiom in the OWL 2 Specification.
|
interface |
OWLNegativeObjectPropertyAssertionAxiom
Represents a NegativeObjectPropertyAssertion axiom in the OWL 2 Specification.
|
interface |
OWLObject |
interface |
OWLObjectAllValuesFrom
Represents an ObjectAllValuesFrom restriction in the OWL 2 Specification.
|
interface |
OWLObjectCardinalityRestriction |
interface |
OWLObjectComplementOf
Represents an ObjectComplementOf class expression in the OWL 2 Specification.
|
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 |
OWLObjectIntersectionOf
Represents an ObjectIntersectionOf class expression in the OWL 2 Specification.
|
interface |
OWLObjectInverseOf
Represents a ObjectInverseOf Represents the inverse of a property expression.
|
interface |
OWLObjectMaxCardinality
Represents an ObjectMaxCardinality restriction in the OWL 2 Specification.
|
interface |
OWLObjectMinCardinality
Represents a
ObjectMinCardinality restriction in the OWL 2 Specification.
|
interface |
OWLObjectOneOf
Represents an ObjectOneOf class expression in the OWL 2 Specification.
|
interface |
OWLObjectProperty
Represents an Object
Property in the OWL 2 Specification.
|
interface |
OWLObjectPropertyAssertionAxiom
Represents an ObjectPropertyAssertion axiom in the OWL 2 Specification.
|
interface |
OWLObjectPropertyAxiom |
interface |
OWLObjectPropertyCharacteristicAxiom |
interface |
OWLObjectPropertyDomainAxiom
Represents
ObjectPropertyDomain axioms in the OWL 2 specification.
|
interface |
OWLObjectPropertyExpression |
interface |
OWLObjectPropertyRangeAxiom
Represents
ObjectPropertyRange axioms in the OWL 2 specification.
|
interface |
OWLObjectSomeValuesFrom
Represents an ObjectSomeValuesFrom class expression in the OWL 2 Specification.
|
interface |
OWLObjectUnionOf
Represents an ObjectUnionOf class expression in the OWL 2 Specification.
|
interface |
OWLOntology
Represents an OWL 2 Ontology in the OWL 2
specification.
|
interface |
OWLPrimitive
A common interface for:
OWLClass ,
OWLObjectProperty ,
OWLDataProperty ,
OWLAnnotationProperty ,
OWLDatatype ,
OWLAnonymousIndividual ,
OWLLiteral ,
IRI . |
interface |
OWLProperty<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
A marker interface for properties that aren't expression i.e.
|
interface |
OWLPropertyAssertionAxiom<P extends OWLPropertyExpression<?,?>,O extends OWLPropertyAssertionObject> |
interface |
OWLPropertyAssertionObject
A marker interface for the types of property assertion objects (individuals
and literals) that are the objects of property assertions.
|
interface |
OWLPropertyAxiom
The base interface for property axioms.
|
interface |
OWLPropertyDomainAxiom<P extends OWLPropertyExpression<?,?>>
Represents
ObjectPropertyDomain axioms in the OWL 2 specification.
|
interface |
OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>> |
interface |
OWLPropertyRange
A marker interface, for objects that can be the ranges of properties.
|
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 |
OWLSameIndividualAxiom
Represents an
SameIndividual axiom in the OWL 2 Specification.
|
interface |
OWLSubAnnotationPropertyOfAxiom
Represents an SubAnnotationPropertyOf axiom in the OWL 2 Specification.
|
interface |
OWLSubClassOfAxiom
Represents an SubClassOf axiom
in the OWL 2 Specification.
|
interface |
OWLSubDataPropertyOfAxiom
Represents an
SubDataPropertyOf axiom in the OWL 2 Specification.
|
interface |
OWLSubObjectPropertyOfAxiom
Represents
SubObjectPropertyOf axioms in the OWL 2 specification.
|
interface |
OWLSubPropertyAxiom<P extends OWLPropertyExpression<?,?>> |
interface |
OWLSubPropertyChainOfAxiom
Represents a
SubObjectPropertyOf axiom in the OWL 2 Specification where the
subproperty is a chain of properties.
|
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<?,?>> |
interface |
SWRLArgument
Represents an object in an atom (either a data object or and individual
object).
|
interface |
SWRLAtom
Represents an atom in a rule.
|
interface |
SWRLBinaryAtom<A extends SWRLArgument,B extends SWRLArgument>
Represents an atom with two ordered arguments.
|
interface |
SWRLBuiltInAtom |
interface |
SWRLClassAtom |
interface |
SWRLDArgument
Represents arguments in
SWRLAtom s that
are either OWLLiteral s or variables for individuals
SWRLLiteralArgument . |
interface |
SWRLDataPropertyAtom |
interface |
SWRLDataRangeAtom |
interface |
SWRLDifferentIndividualsAtom |
interface |
SWRLIArgument
Represents arguments in
SWRLAtom s that
are either OWLIndividual s or variables
for individuals SWRLIndividualArgument . |
interface |
SWRLIndividualArgument |
interface |
SWRLLiteralArgument |
interface |
SWRLObject |
interface |
SWRLObjectPropertyAtom |
interface |
SWRLRule
Represent a rule.
|
interface |
SWRLSameIndividualAtom |
interface |
SWRLUnaryAtom<A extends SWRLArgument> |
interface |
SWRLVariable
Represents a variable that can appear in an atom.
|
Modifier and Type | Class and Description |
---|---|
class |
AddAxiom
Represents an ontology change where axioms should be added to an ontology.
|
class |
AddImport
Represents an ontology change where an import statement is added to an
ontology.
|
class |
AddOntologyAnnotation
Represents an ontology change where an annotation is added to an ontology.
|
class |
AnnotationChange |
class |
ImportChange |
class |
IRI |
class |
OWLAxiomChange |
class |
OWLOntologyChange |
class |
RemoveAxiom |
class |
RemoveImport |
class |
RemoveOntologyAnnotation
Represents an ontology change where an annotation is removed from an
ontology.
|
class |
SetOntologyID |
Copyright © 2017 The University of Manchester. All Rights Reserved.