Modifier and Type | Method and Description |
---|---|
void |
KRSSObjectRenderer.visit(OWLClass desc) |
void |
KRSS2ObjectRenderer.visit(OWLClass desc) |
void |
KRSS2OWLObjectRenderer.visit(OWLClass desc) |
Modifier and Type | Method and Description |
---|---|
OWLClass |
OWLFunctionalSyntaxParser.Class()
Class.
|
OWLClass |
OWLFunctionalSyntaxParser.ClassIRI()
Class iri.
|
Modifier and Type | Method and Description |
---|---|
void |
OWLObjectRenderer.visit(OWLClass desc) |
Modifier and Type | Method and Description |
---|---|
void |
LatexObjectVisitor.visit(OWLClass node) |
void |
LatexBracketChecker.visit(OWLClass node) |
Modifier and Type | Method and Description |
---|---|
void |
OWLXMLObjectRenderer.visit(OWLClass desc) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractTranslator.visit(OWLClass desc) |
Modifier and Type | Method and Description |
---|---|
OWLClass |
NamedClassTranslator.translate(IRI mainNode)
Translates the specified main node into an
OWLClassExpression . |
Constructor and Description |
---|
AddClassExpressionClosureAxiom(OWLDataFactory dataFactory,
OWLClass cls,
OWLObjectPropertyExpression property,
Set<OWLOntology> ontologies,
OWLOntology targetOntology)
Creates a composite change that will add a closure axiom for a given
class along a specified property.
|
ConvertEquivalentClassesToSuperClasses(OWLDataFactory dataFactory,
OWLClass cls,
Set<OWLOntology> ontologies,
OWLOntology targetOntology,
boolean splitIntersections) |
ConvertSuperClassesToEquivalentClass(OWLDataFactory dataFactory,
OWLClass cls,
Set<OWLOntology> ontologies,
OWLOntology targetOntology) |
CreateValuePartition(OWLDataFactory dataFactory,
OWLClass valuePartitionClass,
Set<OWLClass> valuePartionClasses,
OWLObjectProperty valuePartitionProperty,
OWLOntology targetOntology)
Creates a composite change that will create a value partition.
|
MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory,
OWLClass cls,
Set<OWLOntology> ontologies,
OWLOntology targetOntology) |
MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory,
OWLClass cls,
Set<OWLOntology> ontologies,
OWLOntology targetOntology,
boolean usePairwiseDisjointAxioms) |
Constructor and Description |
---|
CreateValuePartition(OWLDataFactory dataFactory,
OWLClass valuePartitionClass,
Set<OWLClass> valuePartionClasses,
OWLObjectProperty valuePartitionProperty,
OWLOntology targetOntology)
Creates a composite change that will create a value partition.
|
Modifier and Type | Method and Description |
---|---|
static OWLClass |
OWLFunctionalSyntaxFactory.Class(IRI iri) |
static OWLClass |
OWLFunctionalSyntaxFactory.Class(String abbreviatedIRI,
PrefixManager pm) |
static OWLClass |
OWLFunctionalSyntaxFactory.OWLNothing() |
static OWLClass |
OWLFunctionalSyntaxFactory.OWLThing() |
Modifier and Type | Method and Description |
---|---|
static OWLDisjointUnionAxiom |
OWLFunctionalSyntaxFactory.DisjointUnion(OWLClass cls,
OWLClassExpression... classExpressions) |
Modifier and Type | Method and Description |
---|---|
OWLClass |
ShortFormEntityChecker.getOWLClass(String name) |
OWLClass |
OWLEntityChecker.getOWLClass(String name) |
Modifier and Type | Field and Description |
---|---|
static EntityType<OWLClass> |
EntityType.CLASS
class entity
|
Modifier and Type | Method and Description |
---|---|
OWLClass |
OWLEntity.asOWLClass()
A convenience method that obtains this entity as an OWLClass (in order to
avoid explicit casting).
|
OWLClass |
OWLClassExpression.asOWLClass()
If this class expression is in fact a named class then this method may be
used to obtain the expression as an
OWLClass without the need for
casting. |
OWLClass |
OWLDisjointUnionAxiom.getOWLClass()
Gets the class which is equivalent to the disjoint union.
|
OWLClass |
OWLDataFactory.getOWLClass(IRI iri)
Gets an OWL class that has the specified IRI
|
OWLClass |
OWLClassProvider.getOWLClass(IRI iri)
Gets an instance of
OWLClass that has the specified IRI . |
OWLClass |
OWLDataFactory.getOWLClass(String abbreviatedIRI,
PrefixManager prefixManager)
Gets an OWLClass that has an IRI that is obtained by expanding an
abbreviated name using an appropriate prefix mapping.
|
OWLClass |
OWLDataFactory.getOWLNothing()
Gets the built in owl:Nothing class, which has a URI of
<http://www.w3.org/2002/07/owl#Nothing>
|
OWLClass |
OWLDataFactory.getOWLThing()
Gets the built in owl:Thing class, which has a URI of
<http://www.w3.org/2002/07/owl#Thing>
|
Modifier and Type | Method and Description |
---|---|
Set<OWLClass> |
OWLOntology.getClassesInSignature()
Gets the classes that are in the signature of this ontology.
|
Set<OWLClass> |
OWLObject.getClassesInSignature()
A convenience method that obtains the classes that are in the signature
of this object
|
Set<OWLClass> |
IRI.getClassesInSignature() |
Set<OWLClass> |
HasClassesInSignature.getClassesInSignature()
Gets the classes in the signature of this object.
|
Set<OWLClass> |
OWLOntology.getClassesInSignature(boolean includeImportsClosure)
Gets the classes that are in the signature of this ontology, and possibly
the imports closure of this ontology.
|
Set<OWLClass> |
OWLEquivalentClassesAxiom.getNamedClasses()
Gets the named classes (excluding owl:Thing and owl:Nothing) that are in
this equivalent classes axiom.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLClassAxiom> |
OWLOntology.getAxioms(OWLClass cls)
Gets the axioms that form the definition/description of a class.
|
Set<OWLDisjointClassesAxiom> |
OWLOntology.getDisjointClassesAxioms(OWLClass cls)
Gets the set of disjoint class axioms that contain the specified class as
an operand.
|
Set<OWLDisjointUnionAxiom> |
OWLOntology.getDisjointUnionAxioms(OWLClass owlClass)
Gets the set of disjoint union axioms that have the specified class as
the named class that is equivalent to the disjoint union of operands.
|
Set<OWLEquivalentClassesAxiom> |
OWLOntology.getEquivalentClassesAxioms(OWLClass cls)
Gets all of the equivalent axioms in this ontology that contain the
specified class as an operand.
|
Set<OWLHasKeyAxiom> |
OWLOntology.getHasKeyAxioms(OWLClass cls)
Gets the has key axioms that have the specified class as their subject.
|
OWLDisjointUnionAxiom |
OWLDataFactory.getOWLDisjointUnionAxiom(OWLClass owlClass,
Set<? extends OWLClassExpression> classExpressions) |
OWLDisjointUnionAxiom |
OWLDataFactory.getOWLDisjointUnionAxiom(OWLClass owlClass,
Set<? extends OWLClassExpression> classExpressions,
Set<? extends OWLAnnotation> annotations) |
Set<OWLSubClassOfAxiom> |
OWLOntology.getSubClassAxiomsForSubClass(OWLClass cls)
Gets all of the subclass axioms where the left hand side (the subclass)
is equal to the specified class.
|
Set<OWLSubClassOfAxiom> |
OWLOntology.getSubClassAxiomsForSuperClass(OWLClass cls)
Gets all of the subclass axioms where the right hand side (the
superclass) is equal to the specified class.
|
O |
OWLNamedObjectVisitorEx.visit(OWLClass owlClass)
visit OWLClass type
|
void |
OWLNamedObjectVisitor.visit(OWLClass owlClass)
visit OWLClass type
|
O |
OWLEntityVisitorEx.visit(OWLClass cls)
visit OWLClass type
|
void |
OWLEntityVisitor.visit(OWLClass cls)
visit OWLClass type
|
O |
OWLClassExpressionVisitorEx.visit(OWLClass ce)
visit OWLClass type
|
void |
OWLClassExpressionVisitor.visit(OWLClass ce)
visit OWLClass type
|
Modifier and Type | Method and Description |
---|---|
void |
OWLObjectComplementOfExtractor.visit(OWLClass desc) |
Modifier and Type | Method and Description |
---|---|
OWLClass |
UseOfUndeclaredClass.getOWLClass() |
OWLClass |
UseOfReservedVocabularyForClassIRI.getOWLClass() |
Constructor and Description |
---|
UseOfReservedVocabularyForClassIRI(OWLOntology ontology,
OWLAxiom axiom,
OWLClass cls) |
UseOfUndeclaredClass(OWLOntology ontology,
OWLAxiom axiom,
OWLClass cls) |
Modifier and Type | Method and Description |
---|---|
Node<OWLClass> |
OWLReasoner.getBottomClassNode()
Gets the
Node corresponding to the bottom node (containing
owl:Nothing ) in the class hierarchy. |
NodeSet<OWLClass> |
OWLReasoner.getDataPropertyDomains(OWLDataProperty pe,
boolean direct)
Gets the named classes that are the direct or indirect domains of this
property with respect to the imports closure of the root ontology.
|
NodeSet<OWLClass> |
OWLReasoner.getDisjointClasses(OWLClassExpression ce)
Gets the classes that are disjoint with the specified class expression
ce . |
Node<OWLClass> |
OWLReasoner.getEquivalentClasses(OWLClassExpression ce)
Gets the set of named classes that are equivalent to the specified class
expression with respect to the set of reasoner axioms.
|
NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyDomains(OWLObjectPropertyExpression pe,
boolean direct)
Gets the named classes that are the direct or indirect domains of this
property with respect to the imports closure of the root ontology.
|
NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyRanges(OWLObjectPropertyExpression pe,
boolean direct)
Gets the named classes that are the direct or indirect ranges of this
property with respect to the imports closure of the root ontology.
|
NodeSet<OWLClass> |
OWLReasoner.getSubClasses(OWLClassExpression ce,
boolean direct)
Gets the set of named classes that are the strict (potentially direct)
subclasses of the specified class expression with respect to the reasoner
axioms.
|
NodeSet<OWLClass> |
OWLReasoner.getSuperClasses(OWLClassExpression ce,
boolean direct)
Gets the set of named classes that are the strict (potentially direct)
super classes of the specified class expression with respect to the
imports closure of the root ontology.
|
Node<OWLClass> |
OWLReasoner.getTopClassNode()
Gets the
Node corresponding to the top node (containing
owl:Thing ) in the class hierarchy. |
NodeSet<OWLClass> |
OWLReasoner.getTypes(OWLNamedIndividual ind,
boolean direct)
Gets the named classes which are (potentially direct) types of the
specified named individual.
|
Node<OWLClass> |
OWLReasoner.getUnsatisfiableClasses()
A convenience method that obtains the classes in the signature of the
root ontology that are unsatisfiable.
|
Modifier and Type | Method and Description |
---|---|
static DefaultNode<OWLClass> |
NodeFactory.getOWLClassBottomNode() |
static DefaultNode<OWLClass> |
NodeFactory.getOWLClassNode() |
static DefaultNode<OWLClass> |
NodeFactory.getOWLClassNode(OWLClass cls) |
static DefaultNode<OWLClass> |
NodeFactory.getOWLClassNode(Set<OWLClass> clses) |
static DefaultNode<OWLClass> |
NodeFactory.getOWLClassTopNode() |
Modifier and Type | Method and Description |
---|---|
static DefaultNode<OWLClass> |
NodeFactory.getOWLClassNode(OWLClass cls) |
Modifier and Type | Method and Description |
---|---|
static DefaultNode<OWLClass> |
NodeFactory.getOWLClassNode(Set<OWLClass> clses) |
Constructor and Description |
---|
OWLClassNode(OWLClass entity) |
OWLClassNodeSet(OWLClass entity) |
Constructor and Description |
---|
OWLClassNode(Set<OWLClass> entities) |
OWLClassNodeSet(Node<OWLClass> owlClassNode) |
OWLClassNodeSet(Set<Node<OWLClass>> nodes) |
Modifier and Type | Method and Description |
---|---|
Set<OWLClass> |
NamedConjunctChecker.getNamedConjuncts(OWLClassExpression classExpression)
Gets the named conjuncts for the specified expression.
|
Set<OWLClass> |
OWLClassLiteralCollector.getNegativeLiterals() |
Set<OWLClass> |
OWLClassLiteralCollector.getPositiveLiterals() |
Modifier and Type | Method and Description |
---|---|
boolean |
NamedConjunctChecker.isNamedConjunct(OWLClass conj,
OWLClassExpression classExpression) |
boolean |
SimpleRootClassChecker.isRootClass(OWLClass cls) |
boolean |
RootClassChecker.isRootClass(OWLClass cls)
Determines if the specified class is a direct syntactic subclass of
owl:Thing.
|
void |
StructureWalker.visit(OWLClass desc) |
void |
SimpleRenderer.visit(OWLClass desc) |
O |
OWLObjectVisitorExAdapter.visit(OWLClass desc) |
void |
OWLObjectVisitorAdapter.visit(OWLClass desc) |
void |
OWLObjectTypeIndexProvider.visit(OWLClass desc) |
void |
OWLObjectDuplicator.visit(OWLClass desc) |
void |
OWLObjectComponentCollector.visit(OWLClass cls) |
O |
OWLEntityVisitorExAdapter.visit(OWLClass desc) |
void |
OWLEntityVisitorAdapter.visit(OWLClass desc) |
void |
OWLEntityRemover.visit(OWLClass cls) |
void |
OWLEntityComparator.visit(OWLClass cls) |
void |
OWLEntityCollector.visit(OWLClass desc) |
O |
OWLClassExpressionVisitorExAdapter.visit(OWLClass ce) |
void |
OWLClassExpressionVisitorAdapter.visit(OWLClass desc) |
Set<OWLClassExpression> |
OWLClassExpressionCollector.visit(OWLClass ce) |
void |
OWLAnonymousIndividualsWithMultipleOccurrences.visit(OWLClass desc) |
OWLClassExpression |
NNF.visit(OWLClass desc) |
Integer |
MaximumModalDepthFinder.visit(OWLClass ce) |
void |
HashCode.visit(OWLClass desc) |
O |
DelegatingObjectVisitorEx.visit(OWLClass desc) |
void |
DLExpressivityChecker.visit(OWLClass desc) |
Modifier and Type | Method and Description |
---|---|
static Set<OWLClass> |
SKOSVocabulary.getClasses(OWLDataFactory dataFactory) |
Modifier and Type | Class and Description |
---|---|
class |
OWLClassImpl |
Modifier and Type | Method and Description |
---|---|
OWLClass |
OWLObjectPropertyImpl.asOWLClass() |
OWLClass |
OWLIndividualImpl.asOWLClass()
Deprecated.
|
OWLClass |
OWLDatatypeImpl.asOWLClass() |
OWLClass |
OWLDataPropertyImpl.asOWLClass() |
OWLClass |
OWLClassImpl.asOWLClass() |
OWLClass |
OWLAnonymousClassExpressionImpl.asOWLClass() |
OWLClass |
OWLAnnotationPropertyImpl.asOWLClass() |
OWLClass |
OWL2DatatypeImpl.asOWLClass() |
OWLClass |
OWLDisjointUnionAxiomImpl.getOWLClass() |
OWLClass |
OWLDataFactoryInternalsImpl.getOWLClass(IRI iri) |
OWLClass |
OWLDataFactoryInternals.getOWLClass(IRI iri) |
OWLClass |
OWLDataFactoryImpl.getOWLClass(IRI iri) |
OWLClass |
InternalsNoCache.getOWLClass(IRI iri) |
OWLClass |
OWLDataFactoryImpl.getOWLClass(String iri,
PrefixManager prefixManager) |
OWLClass |
OWLDataFactoryImpl.getOWLNothing() |
OWLClass |
OWLDataFactoryImpl.getOWLThing() |
Constructor and Description |
---|
OWLDisjointUnionAxiomImpl(OWLClass owlClass,
Set<? extends OWLClassExpression> classExpressions,
Set<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
void |
ManchesterOWLSyntaxObjectRenderer.visit(OWLClass desc) |
Collection<OWLAxiom> |
ManchesterOWLSyntaxFrameRenderer.write(OWLClass cls)
Writes out a class frame for the specified class.
|
Modifier and Type | Method and Description |
---|---|
void |
DLSyntaxObjectRenderer.visit(OWLClass desc) |
Modifier and Type | Method and Description |
---|---|
OWLClass |
DLSyntaxParser.parseClassId()
Parses the class id.
|
Copyright © 2017 The University of Manchester. All Rights Reserved.