|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Interface Summary | |
|---|---|
| AssertionalAxiomVisitor | Visitor for assertional (ABox) axioms. |
| AxiomVisitor | Visitor interface for all implemented kinds of axioms in a knowledge base. |
| DataRange | |
| DescriptionVisitor | Visitor for elements in complex class descriptions (it supports the currently relevant ones - needs to be extended when further constructs are needed). |
| DoubleDataRange | Ranges of type double for use in datatye restrictions. |
| Entity | Marker interface for classes, properties, individuals. |
| KBElement | Interface for all elements of the knowledge base. |
| KBElementVisitor | Visitor for all elements of a knowledge base. |
| NamedKBElement | Marker interface for those OWL elements, which have a name, e.g. |
| Property | |
| PropertyAxiomVisitor | Visitor for property (RBox) axioms. |
| PropertyExpression | |
| PropertyExpressionVisitor | A visitor for property expression, which can occur in class descriptions. |
| PropertyRange | |
| SimpleDoubleDataRange | A double data range with a single value used for restrictions, e.g. hasAge >= 18 (but not 65 >= hasAge >= 18). |
| TerminologicalAxiomVisitor | |
| Class Summary | |
|---|---|
| Annotation | An annotation, e.g. rdfs:label "foo". |
| AssertionalAxiom | |
| AsymmetricObjectPropertyAxiom | |
| Axiom | |
| BooleanDataRange | Allows to specify the value of a boolean datatype restriction, e.g. |
| BooleanDatatypePropertyAssertion | |
| BooleanValueRestriction | Convenience class for boolean value restrictions. |
| CardinalityRestriction | |
| ClassAssertionAxiom | Represents a concept assertion in a knowledge base / ontology, e.g. |
| ClassHierarchy | Represents a subsumption hierarchy (ignoring equivalent concepts). |
| Constant | A constant value. |
| ConstantAnnotation | |
| ContextDescription | A class description in its context, i.e. including a parent link (if any). |
| Datatype | |
| DatatypeCardinalityRestriction | |
| DatatypeExactCardinalityRestriction | |
| DatatypeMaxCardinalityRestriction | |
| DatatypeMinCardinalityRestriction | |
| DatatypeProperty | |
| DatatypePropertyAssertion | A datatype property assertion. |
| DatatypePropertyDomainAxiom | |
| DatatypePropertyHierarchy | Represents a hierarchy of datatype properties. |
| DatatypePropertyRangeAxiom | |
| DatatypeQuantorRestriction | Represents datatype quantor restrictions. |
| DatatypeSomeRestriction | This class represents restrictions on datatypes, such as Man AND EXISTS hasAge >= 18. |
| DatatypeValueRestriction | Examples for datatype value restrictions: Male AND hasAge HASVALUE 18 Male AND hasDriverLicense HASVALUE true |
| Description | A class description is sometimes also called "complex class" or "concept". |
| DifferentIndividualsAxiom | |
| DisjointClassesAxiom | |
| DisjointDatatypePropertyAxiom | |
| DisjointObjectPropertyAxiom | |
| DoubleDatatypePropertyAssertion | |
| DoubleMaxValue | Double data range restricted by a maximum value, e.g. |
| DoubleMinValue | Double data range restricted by a minimum value, e.g. |
| EquivalentClassesAxiom | |
| EquivalentDatatypePropertiesAxiom | |
| EquivalentObjectPropertiesAxiom | |
| FlatABox | A flat ABox can be used to store knowledge of a completely dematerialised knowledge base. |
| FunctionalDatatypePropertyAxiom | |
| FunctionalObjectPropertyAxiom | |
| Individual | Represents an invididual in a knowledge base / ontology. |
| Intersection | |
| InverseFunctionalObjectPropertyAxiom | |
| InverseObjectPropertyAxiom | |
| IrreflexiveObjectPropertyAxiom | |
| KB | |
| LabelAnnotation | |
| NamedClass | Represents an atomic concept in a knowledge base / ontology, e.g. |
| Negation | |
| Nothing | Implementation of owl:Nothing/BOTTOM. |
| ObjectAllRestriction | All quantified restriction on objects, e.g. |
| ObjectCardinalityRestriction | |
| ObjectExactCardinalityRestriction | |
| ObjectMaxCardinalityRestriction | |
| ObjectMinCardinalityRestriction | |
| ObjectOneOf | |
| ObjectProperty | Represents an object property in a knowledge base / ontology, e.g. |
| ObjectPropertyAssertion | Represents an role assertion in a knowledge base / ontology, e.g. |
| ObjectPropertyDomainAxiom | |
| ObjectPropertyExpression | An object property expression is an object property construct, which can be used in axioms, e.g. complex class descriptions. |
| ObjectPropertyHierarchy | Represents a hierarchy of object properties (roles in Description Logics). |
| ObjectPropertyInverse | Represents the inverse of a property expression. |
| ObjectPropertyRangeAxiom | |
| ObjectQuantorRestriction | |
| ObjectSomeRestriction | Existantial restriction on objects, e.g. |
| ObjectValueRestriction | Restricts the value of an object property to a single individual (corresponds to owl:hasValue) |
| PropertyAssertion | |
| PropertyAxiom | |
| PropertyDomainAxiom | Axiom to specifiy the domain of a property. |
| PropertyRangeAxiom | |
| QuantorRestriction | |
| ReflexiveObjectPropertyAxiom | |
| Restriction | A restriction always acts along a property expression. |
| StringDatatypePropertyAssertion | |
| StringValueRestriction | String value restriction, e.g. |
| SubClassAxiom | |
| SubDatatypePropertyAxiom | |
| SubObjectPropertyAxiom | |
| SymmetricObjectPropertyAxiom | |
| TerminologicalAxiom | |
| Thing | Implementation of owl:thing/TOP. |
| TransitiveObjectPropertyAxiom | |
| TypedConstant | A constant which has an explicitly assigned datatype. |
| Union | |
| UntypedConstant | An untyped constant is a string which has not been assigned a datatype and can have an optional language tag. |
| ValueRestriction | |
| Enum Summary | |
|---|---|
| OWL2Datatype | |
| Exception Summary | |
|---|---|
| UnsupportedLanguageException | This exception is thrown if an operation does not support the required language. |
Classes/Interfaces for representing OWL constructs - see the OWL 2 Structural Specification for details.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||