Modifier and Type | Method and Description |
---|---|
String |
OWLAPIOwl2Obo.getIdentifier(OWLObject obj)
Gets the identifier.
|
static String |
OWLAPIOwl2Obo.getIdentifierFromObject(OWLObject obj,
OWLOntology ont)
Retrieve the identifier for a given
OWLObject . |
static String |
OWLAPIOwl2Obo.getIdentifierFromObject(OWLObject obj,
OWLOntology ont,
String defaultValue)
Retrieve the identifier for a given
OWLObject . |
static String |
OWLAPIOwl2Obo.owlObjectToTag(OWLObject obj)
Owl object to tag.
|
Modifier and Type | Method and Description |
---|---|
boolean |
DLSyntaxObjectRenderer.isFocusedObject(OWLObject obj) |
String |
DLSyntaxObjectRenderer.render(OWLObject object) |
void |
DLSyntaxObjectRenderer.setFocusedObject(OWLObject focusedObject) |
Modifier and Type | Method and Description |
---|---|
static String |
ToStringRenderer.getRendering(OWLObject object) |
String |
OWLObjectRenderer.render(OWLObject object)
Renders the specified object.
|
Modifier and Type | Method and Description |
---|---|
String |
LatexOWLObjectRenderer.render(OWLObject object) |
void |
LatexObjectVisitor.setSubject(OWLObject subject) |
Modifier and Type | Method and Description |
---|---|
OWLObject |
RendererEvent.getFrameSubject() |
Modifier and Type | Method and Description |
---|---|
String |
ManchesterOWLSyntaxOWLObjectRendererImpl.render(OWLObject object) |
Constructor and Description |
---|
RendererEvent(ManchesterOWLSyntaxFrameRenderer frameRenderer,
OWLObject frameSubject) |
Modifier and Type | Interface and Description |
---|---|
interface |
HasDomain<D extends OWLObject>
An interface to objects that have a domain.
|
interface |
HasFiller<T extends OWLObject>
An interface to objects that have a filler.
|
interface |
HasOperands<T extends OWLObject>
An interface to objects that have a collection of operands.
|
interface |
HasProperty<P extends OWLObject>
An interface to objects which have a property.
|
interface |
HasRange<R extends OWLObject>
An interface to objects that have a range.
|
interface |
HasSubject<T extends OWLObject> |
interface |
OWLHasValueRestriction<V extends OWLObject> |
interface |
OWLNaryAxiom<C extends OWLObject>
Represents an axiom that contains two or more operands that could also be represented with
multiple pairwise axioms.
|
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<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 restrictions in the OWL 2 Specification.
|
interface |
OWLDataHasValue
Represents
DataHasValue restrictions in the OWL 2 Specification.
|
interface |
OWLDataIntersectionOf
Represents
DataIntersectionOf in the OWL 2 Specification.
|
interface |
OWLDataMaxCardinality
Represents
DataMaxCardinality restrictions in the OWL 2 Specification.
|
interface |
OWLDataMinCardinality
Represents
DataMinCardinality restrictions 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
Deprecated.
this interface is redundant
|
interface |
OWLMutableOntology
Marker interface for ontologies where mutating actions must have an effect.
|
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 |
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 |
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 |
IRI
Represents International Resource Identifiers.
|
Modifier and Type | Method and Description |
---|---|
default <T extends OWLAxiom> |
OWLAxiomIndex.axioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Imports imports,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
<T extends OWLAxiom> |
OWLAxiomIndex.axioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
default <T extends OWLAxiom> |
OWLAxiomIndex.axioms(Class<T> type,
OWLObject entity,
Imports imports,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
default <T extends OWLAxiom> |
OWLAxiomIndex.axioms(Class<T> type,
OWLObject entity,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
int |
IRI.compareTo(OWLObject o) |
default <T extends OWLAxiom> |
OWLAxiomIndex.getAxioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Imports includeImports,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
default <T extends OWLAxiom> |
OWLAxiomIndex.getAxioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
default <T extends OWLAxiom> |
OWLAxiomIndex.getAxioms(Class<T> type,
OWLObject entity,
Imports includeImports,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
default <T extends OWLAxiom> |
OWLAxiomIndex.getAxioms(Class<T> type,
OWLObject entity,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
Modifier and Type | Method and Description |
---|---|
default <T extends OWLAxiom> |
OWLAxiomIndex.axioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Imports imports,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
<T extends OWLAxiom> |
OWLAxiomIndex.axioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
default <T extends OWLAxiom> |
OWLAxiomIndex.getAxioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Imports includeImports,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
default <T extends OWLAxiom> |
OWLAxiomIndex.getAxioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
Modifier and Type | Method and Description |
---|---|
OWLObject |
InsufficientPropertyExpressions.getExpression() |
OWLObject |
InsufficientOperands.getExpression() |
Constructor and Description |
---|
InsufficientOperands(OWLOntology currentOntology,
OWLAxiom node,
OWLObject c) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractTranslator.addTriple(R subject,
IRI pred,
OWLObject object) |
<T> T |
AbstractTranslator.getMappedNode(OWLObject object) |
void |
AbstractTranslator.translate(OWLObject input)
Process the input only if it has not been seen before
|
Modifier and Type | Interface and Description |
---|---|
static interface |
Translators.ListItemTranslator<O extends OWLObject>
Translates and consumes an item in an RDF list.
|
Modifier and Type | Method and Description |
---|---|
OWLObject |
TriplePatternMatcher.createObject(OWLRDFConsumer consumer) |
Modifier and Type | Method and Description |
---|---|
void |
RDFXMLWriter.writeOWLObject(OWLObject owlObject) |
Modifier and Type | Interface and Description |
---|---|
interface |
Node<E extends OWLObject>
Represents a node (set) of entities.
|
interface |
NodeSet<E extends OWLObject>
A set of
Node s. |
Modifier and Type | Class and Description |
---|---|
class |
DefaultNode<E extends OWLObject> |
class |
DefaultNodeSet<E extends OWLObject> |
Modifier and Type | Method and Description |
---|---|
static <C extends OWLObject> |
Searcher.different(OWLAxiom axiom)
Retrieve disjoint entities from an axiom, including individuals from differentFrom axioms.
|
static <C extends OWLObject> |
Searcher.different(OWLAxiom axiom,
Class<C> type)
Retrieve disjoint entities from an axiom, including individuals from differentFrom axioms.
|
static <C extends OWLObject> |
Searcher.different(Stream<? extends OWLAxiom> axioms)
Retrieve disjoint entities from axioms, including individuals from differentFrom axioms.
|
static <C extends OWLObject> |
Searcher.different(Stream<? extends OWLAxiom> axioms,
Class<C> type)
Retrieve disjoint entities from axioms, including individuals from differentFrom axioms.
|
static <C extends OWLObject> |
Searcher.domain(OWLAxiom axiom)
Retrieve the domains from domain axioms.
|
static <C extends OWLObject> |
Searcher.domain(OWLAxiom axiom,
Class<C> type)
Retrieve the domains from domain axioms.
|
static <C extends OWLObject> |
Searcher.domain(Stream<? extends OWLAxiom> axioms)
Retrieve the domains from domain axioms.
|
static <C extends OWLObject> |
Searcher.domain(Stream<? extends OWLAxiom> axioms,
Class<C> type)
Retrieve the domains from domain axioms.
|
static <C extends OWLObject> |
Searcher.equivalent(OWLAxiom axiom)
Retrieve equivalent entities from an axiom, including individuals from sameAs axioms.
|
static <C extends OWLObject> |
Searcher.equivalent(OWLAxiom axiom,
Class<C> type)
Retrieve equivalent entities from an axiom, including individuals from sameAs axioms.
|
static <C extends OWLObject> |
Searcher.equivalent(Stream<? extends OWLAxiom> axioms)
Retrieve equivalent entities from axioms, including individuals from sameAs axioms.
|
static <C extends OWLObject> |
Searcher.equivalent(Stream<? extends OWLAxiom> axioms,
Class<C> type)
Retrieve equivalent entities from axioms, including individuals from sameAs axioms.
|
static <C extends OWLObject> |
Searcher.range(OWLAxiom axiom)
Retrieve the ranges from a range axiom.
|
static <C extends OWLObject> |
Searcher.range(OWLAxiom axiom,
Class<C> type)
Retrieve the ranges from a range axiom.
|
static <C extends OWLObject> |
Searcher.range(Stream<? extends OWLAxiom> axioms)
Retrieve the ranges from range axioms.
|
static <C extends OWLObject> |
Searcher.range(Stream<? extends OWLAxiom> axioms,
Class<C> type)
Retrieve the ranges from range axioms.
|
static <C extends OWLObject> |
Searcher.sub(OWLAxiom axiom)
Retrieve the sub part of an axiom, i.e., subclass or subproperty.
|
static <C extends OWLObject> |
Searcher.sub(OWLAxiom axiom,
Class<C> type)
Retrieve the sub part of an axiom, i.e., subclass or subproperty.
|
static <C extends OWLObject> |
Searcher.sub(Stream<? extends OWLAxiom> axioms)
Retrieve the sub part of axioms, i.e., subclass or subproperty.
|
static <C extends OWLObject> |
Searcher.sub(Stream<? extends OWLAxiom> axioms,
Class<C> type)
Retrieve the sub part of axioms, i.e., subclass or subproperty.
|
static <C extends OWLObject> |
Searcher.sup(OWLAxiom axiom)
Retrieve the super part of an axiom, i.e., superclass or super property.
|
static <C extends OWLObject> |
Searcher.sup(OWLAxiom axiom,
Class<C> type)
Retrieve the super part of an axiom, i.e., superclass or super property.
|
static <C extends OWLObject> |
Searcher.sup(Stream<? extends OWLAxiom> axioms)
Retrieve the super part of axioms, i.e., superclass or super property.
|
static <C extends OWLObject> |
Searcher.sup(Stream<? extends OWLAxiom> axioms,
Class<C> type)
Retrieve the super part of axioms, i.e., superclass or super property.
|
Modifier and Type | Class and Description |
---|---|
class |
OWLObjectWalker<O extends OWLObject> |
class |
StructureWalker<O extends OWLObject>
Structure walker for object walkers.
|
Modifier and Type | Method and Description |
---|---|
<O extends OWLObject> |
OWLObjectDesharer.deshareObject(O object) |
<O extends OWLObject> |
OWLObjectDuplicator.duplicateObject(O object) |
<O extends OWLObject> |
OWLAnnotationPropertyTransformer.transformObject(O object) |
<T extends OWLObject> |
AnnotationWalkingControl.walk(StructureWalker<T> walker,
OWLObject o)
Visit annotations on the object, if the setting allows for the annotations to be visited.
|
Modifier and Type | Method and Description |
---|---|
Collection<OWLObject> |
OWLObjectComponentCollector.doDefault(Object object) |
Collection<OWLObject> |
OWLObjectComponentCollector.getComponents(OWLObject object)
A convenience method that obtains the components of an OWL object.
|
Collection<OWLObject> |
OWLObjectComponentCollector.visit(OWLAnnotation l) |
Collection<OWLObject> |
OWLObjectComponentCollector.visit(OWLAnnotationAssertionAxiom l) |
Collection<OWLObject> |
OWLObjectComponentCollector.visit(OWLDataAllValuesFrom ce) |
Collection<OWLObject> |
OWLObjectComponentCollector.visit(OWLDataExactCardinality ce) |
Collection<OWLObject> |
OWLObjectComponentCollector.visit(OWLDataHasValue ce) |
Collection<OWLObject> |
OWLObjectComponentCollector.visit(OWLDataMaxCardinality ce) |
Collection<OWLObject> |
OWLObjectComponentCollector.visit(OWLDataMinCardinality ce) |
Collection<OWLObject> |
OWLObjectComponentCollector.visit(OWLDataPropertyDomainAxiom ce) |
Collection<OWLObject> |
OWLObjectComponentCollector.visit(OWLDataSomeValuesFrom ce) |
Collection<OWLObject> |
OWLObjectComponentCollector.visit(OWLLiteral l) |
Collection<OWLObject> |
OWLObjectComponentCollector.visit(OWLOntology ontology) |
Collection<OWLObject> |
OWLObjectComponentCollector.visit(SWRLBuiltInAtom node) |
Collection<OWLObject> |
OWLObjectComponentCollector.visit(SWRLDifferentIndividualsAtom node) |
Collection<OWLObject> |
OWLObjectComponentCollector.visit(SWRLSameIndividualAtom node) |
Collection<OWLObject> |
OWLObjectComponentCollector.visit(SWRLVariable node) |
Modifier and Type | Method and Description |
---|---|
List<AxiomChangeData> |
OWLObjectTransformer.change(OWLObject o)
Create the required changes for this transformation to be applied to the input.
|
int |
OWLObjectComparator.compare(OWLObject o1,
OWLObject o2) |
Collection<OWLObject> |
OWLObjectComponentCollector.getComponents(OWLObject object)
A convenience method that obtains the components of an OWL object.
|
String |
SimpleRendererDebug.render(OWLObject object) |
String |
SimpleRenderer.render(OWLObject object) |
<T extends OWLObject> |
AnnotationWalkingControl.walk(StructureWalker<T> walker,
OWLObject o)
Visit annotations on the object, if the setting allows for the annotations to be visited.
|
Modifier and Type | Method and Description |
---|---|
static int |
OWLAPIStreamUtils.compareCollections(Collection<? extends OWLObject> set1,
Collection<? extends OWLObject> set2) |
static int |
OWLAPIStreamUtils.compareCollections(Collection<? extends OWLObject> set1,
Collection<? extends OWLObject> set2) |
static int |
OWLAPIStreamUtils.compareLists(List<? extends OWLObject> set1,
List<? extends OWLObject> set2)
Check lists for equality (sensitive to order)
|
static int |
OWLAPIStreamUtils.compareLists(List<? extends OWLObject> set1,
List<? extends OWLObject> set2)
Check lists for equality (sensitive to order)
|
Constructor and Description |
---|
OWLClassLiteralCollector(Set<OWLObject> objects) |
OWLClassLiteralCollector(Set<OWLObject> objects,
boolean visitDuplicates) |
Modifier and Type | Class and Description |
---|---|
class |
BaseAnnotationPropertyBuilder<T extends OWLObject,B>
Builder class for OWLDataAllValuesFrom.
|
class |
BaseBuilder<T extends OWLObject,B>
Base builder class, providing annotations storage.
|
class |
BaseDataBuilder<T extends OWLObject,B>
Builder class for OWLDataAllValuesFrom.
|
class |
BaseDataPropertyBuilder<T extends OWLObject,B>
Builder class for OWLDataAllValuesFrom.
|
class |
BaseDomainBuilder<T extends OWLObject,B,P>
Builder class for OWLDataPropertyDomainAxiom.
|
class |
BaseObjectBuilder<T extends OWLObject,B>
Builder class for OWLDataAllValuesFrom.
|
class |
BaseObjectPropertyBuilder<T extends OWLObject,B>
Builder class for OWLDataAllValuesFrom.
|
class |
BaseSetBuilder<T extends OWLObject,B,I>
Abstract builder for entities.
|
class |
BaseSubBuilder<T extends OWLObject,B,I>
Builder class for OWLSubAnnotationPropertyOfAxiom.
|
interface |
SettableProperty<P extends OWLObject,B>
An object with a settable property attribute.
|
interface |
SettableRange<R extends OWLObject,B>
An interface for objects which have a settable range attribute.
|
Modifier and Type | Method and Description |
---|---|
boolean |
SyntacticLocalityChecker.isBotEquivalent(OWLObject expr) |
boolean |
SemanticLocalityChecker.isBotEquivalent(OWLObject expr) |
boolean |
LocalityChecker.isBotEquivalent(OWLObject expr) |
boolean |
TopEquivalenceEvaluator.isTopEquivalent(OWLObject expr) |
boolean |
SyntacticLocalityChecker.isTopEquivalent(OWLObject expr) |
boolean |
SemanticLocalityChecker.isTopEquivalent(OWLObject expr) |
boolean |
LocalityChecker.isTopEquivalent(OWLObject expr) |
Modifier and Type | Class and Description |
---|---|
static class |
InitVisitorFactory.InitIndividualVisitor<K extends OWLObject> |
class |
OWLValueRestrictionImpl<V extends OWLObject> |
Modifier and Type | Interface and Description |
---|---|
interface |
HasIncrementalSignatureGenerationSupport
Created by ses on 10/7/14.
|
Modifier and Type | Method and Description |
---|---|
<A extends OWLAxiom> |
OWLImmutableOntologyImpl.axioms(Class<A> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition) |
int |
OWLObjectImpl.compareTo(OWLObject o) |
int |
OWL2DatatypeImpl.compareTo(OWLObject o) |
Modifier and Type | Method and Description |
---|---|
<A extends OWLAxiom> |
OWLImmutableOntologyImpl.axioms(Class<A> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition) |
Modifier and Type | Class and Description |
---|---|
class |
ConcurrentOWLOntologyImpl
Matthew Horridge Stanford Center for Biomedical Informatics Research 03/04/15
|
Modifier and Type | Method and Description |
---|---|
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.axioms(Class<T> aClass,
Class<? extends OWLObject> aClass1,
OWLObject owlObject,
Imports imports,
Navigation navigation) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.axioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.axioms(Class<T> aClass,
OWLObject owlObject,
Imports imports,
Navigation navigation) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.axioms(Class<T> type,
OWLObject entity,
Navigation forSubPosition) |
int |
ConcurrentOWLOntologyImpl.compareTo(OWLObject o) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(Class<T> aClass,
Class<? extends OWLObject> aClass1,
OWLObject owlObject,
Imports imports,
Navigation navigation) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(Class<T> aClass,
OWLObject owlObject,
Imports imports,
Navigation navigation) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(Class<T> type,
OWLObject entity,
Navigation forSubPosition) |
Modifier and Type | Method and Description |
---|---|
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.axioms(Class<T> aClass,
Class<? extends OWLObject> aClass1,
OWLObject owlObject,
Imports imports,
Navigation navigation) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.axioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(Class<T> aClass,
Class<? extends OWLObject> aClass1,
OWLObject owlObject,
Imports imports,
Navigation navigation) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition) |
Copyright © 2020 The University of Manchester. All rights reserved.