Package | Description |
---|---|
org.semanticweb.owlapi.model |
Main API classes.
|
uk.ac.manchester.cs.owl.owlapi |
OWL API reference implementation package
|
uk.ac.manchester.cs.owl.owlapi.concurrent |
Modifier and Type | Interface | 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<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 |
OWLDataRestriction |
Represents a restriction (Object Property Restriction or Data Property Restriction) in the OWL 2 specification.
|
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 in the OWL 2 Specification.
|
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<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 axiom in the OWL 2 Specification.
|
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<C extends OWLObject> |
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 |
OWLObjectRestriction |
Represents a restriction (Object Property Restriction or Data Property Restriction) 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 |
A marker interface for properties that aren't expression i.e.
|
interface |
OWLPropertyAssertionAxiom<P extends OWLPropertyExpression,O extends OWLPropertyAssertionObject> |
Represents an Assertion in the OWL
2 specification.
|
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 |
OWLPropertyDomain |
A marker interface, for objects that can be the ranges of properties.
|
interface |
OWLPropertyDomainAxiom<P extends OWLPropertyExpression> |
Represents
ObjectPropertyDomain axioms in the OWL 2 specification.
|
interface |
OWLPropertyExpression |
Represents a property or possibly the inverse of a property.
|
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<F extends OWLPropertyRange> |
|
interface |
OWLReflexiveObjectPropertyAxiom |
Represents ReflexiveObjectProperty axioms in the OWL 2 specification.
|
interface |
OWLRestriction |
Represents a restriction (Object
Property Restriction or Data
Property Restriction) in the OWL 2 specification.
|
interface |
OWLSameIndividualAxiom |
Represents an
SameIndividual axiom in the OWL 2 Specification.
|
interface |
OWLSignature |
Ontology methods related to its signature.
|
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 | Description |
---|---|---|
class |
IRI |
Represents International Resource Identifiers
|
Modifier and Type | Class | Description |
---|---|---|
class |
ConcurrentOWLOntologyImpl |
Matthew Horridge Stanford Center for Biomedical Informatics Research 03/04/15
|
Copyright © 2018 The University of Manchester. All rights reserved.