Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
AbstractMacroExpansionVisitor.visit(OWLClass ce) |
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
OWLAPIObo2Owl.trTermFrameClauses(OWLClass cls,
Collection<Clause> clauses,
String t)
Tr term frame clauses.
|
Modifier and Type | Method and Description |
---|---|
static OWLClass |
OWLFunctionalSyntaxFactory.Class(IRI iri) |
static OWLClass |
OWLFunctionalSyntaxFactory.Class(String abbreviatedIRI,
PrefixManager pm) |
static OWLClass |
OWLFunctionalSyntaxFactory.createClass() |
static OWLClass |
OWLFunctionalSyntaxFactory.OWLNothing() |
static OWLClass |
OWLFunctionalSyntaxFactory.OWLThing() |
Modifier and Type | Method and Description |
---|---|
static OWLDisjointUnionAxiom |
OWLFunctionalSyntaxFactory.DisjointUnion(OWLClass cls,
OWLClassExpression... classExpressions) |
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)
Instantiates a new convert equivalent classes to super classes.
|
ConvertSuperClassesToEquivalentClass(OWLDataFactory dataFactory,
OWLClass cls,
Set<OWLOntology> ontologies,
OWLOntology targetOntology)
Instantiates a new convert super classes to equivalent class.
|
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,
OWLOntology targetOntology)
Instantiates a new make primitive sub classes mutually disjoint.
|
MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory,
OWLClass cls,
OWLOntology targetOntology,
boolean usePairwiseDisjointAxioms)
Instantiates a new make primitive sub classes mutually disjoint.
|
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 |
---|---|
void |
DLSyntaxObjectRenderer.visit(OWLClass ce) |
Modifier and Type | Method and Description |
---|---|
OWLClass |
ShortFormEntityChecker.getOWLClass(String name) |
OWLClass |
OWLEntityChecker.getOWLClass(String name) |
Modifier and Type | Method and Description |
---|---|
void |
FunctionalSyntaxObjectRenderer.visit(OWLClass ce) |
Modifier and Type | Method and Description |
---|---|
void |
KRSSObjectRenderer.visit(OWLClass ce) |
void |
KRSS2ObjectRenderer.visit(OWLClass desc) |
void |
KRSS2OWLObjectRenderer.visit(OWLClass ce) |
Modifier and Type | Method and Description |
---|---|
void |
LatexObjectVisitor.visit(OWLClass ce) |
void |
LatexBracketChecker.visit(OWLClass ce) |
Modifier and Type | Method and Description |
---|---|
void |
ManchesterOWLSyntaxObjectRenderer.visit(OWLClass ce) |
Collection<OWLAxiom> |
ManchesterOWLSyntaxFrameRenderer.write(OWLClass cls) |
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 |
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> |
IRI.getClassesInSignature() |
Set<OWLClass> |
HasClassesInSignature.getClassesInSignature()
Gets the classes in the signature of this object.
|
Set<OWLClass> |
OWLSignatureBooleanArgs.getClassesInSignature(boolean includeImportsClosure)
Deprecated.
|
Set<OWLClass> |
OWLSignature.getClassesInSignature(Imports includeImportsClosure)
Gets the classes in the signature and optionally the imports closure.
|
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> |
OWLAxiomCollectionNoArgs.getAxioms(OWLClass cls)
Deprecated.
use getAxioms(entity, Imports) instead
|
Set<OWLClassAxiom> |
OWLAxiomCollectionBooleanArgs.getAxioms(OWLClass cls,
boolean includeImportsClosure)
Deprecated.
use getAxioms(entity, Imports) instead
|
Set<OWLClassAxiom> |
OWLAxiomCollection.getAxioms(OWLClass cls,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of a class.
|
Set<OWLDisjointClassesAxiom> |
OWLAxiomIndex.getDisjointClassesAxioms(OWLClass cls)
Gets the set of disjoint class axioms that contain the specified class as
an operand.
|
Set<OWLDisjointUnionAxiom> |
OWLAxiomIndex.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> |
OWLAxiomIndex.getEquivalentClassesAxioms(OWLClass cls)
Gets all of the equivalent axioms in this ontology that contain the
specified class as an operand.
|
Set<OWLHasKeyAxiom> |
OWLAxiomIndex.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> |
OWLAxiomIndex.getSubClassAxiomsForSubClass(OWLClass cls)
Gets all of the subclass axioms where the left hand side (the subclass)
is equal to the specified class.
|
Set<OWLSubClassOfAxiom> |
OWLAxiomIndex.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 |
OWLXMLObjectRenderer.visit(OWLClass ce) |
Modifier and Type | Method and Description |
---|---|
OWLClass |
UseOfUndeclaredClass.getExpression() |
OWLClass |
UseOfReservedVocabularyForClassIRI.getExpression() |
Constructor and Description |
---|
UseOfReservedVocabularyForClassIRI(OWLOntology ontology,
OWLAxiom axiom,
OWLClass cls) |
UseOfUndeclaredClass(OWLOntology ontology,
OWLAxiom axiom,
OWLClass cls) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractTranslator.visit(OWLClass ce) |
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 |
---|---|
static Collection<OWLClassExpression> |
EntitySearcher.getDisjointClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDisjointClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getEquivalentClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
A convenience method that examines the axioms in the specified ontologies
and returns the class expressions corresponding to equivalent classes of
this class.
|
static Collection<OWLClassExpression> |
EntitySearcher.getEquivalentClasses(OWLClass e,
OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology
and returns the class expressions corresponding to equivalent classes of
this class.
|
static Collection<OWLIndividual> |
EntitySearcher.getIndividuals(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the individuals that have been asserted to be an instance of this
class by axioms in the speficied ontologies.
|
static Collection<OWLIndividual> |
EntitySearcher.getIndividuals(OWLClass e,
OWLOntology ontology)
Gets the individuals that have been asserted to be an instance of this
class by axioms in the specified ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getSubClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be subclasses of this
class in the specified ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getSubClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be subclasses of this
class in the specified ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getSuperClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
A convenience method that examines the axioms in the specified ontologies
and returns the class expression corresponding to the asserted super
classes of this class.
|
static Collection<OWLClassExpression> |
EntitySearcher.getSuperClasses(OWLClass e,
OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology
and return the class expressions corresponding to super classes of this
class.
|
static boolean |
EntitySearcher.isDefined(OWLClass c,
Iterable<OWLOntology> ontologies)
Checks if c is defined (is included in equivalent axioms) in a collection
of ontologies.
|
static boolean |
EntitySearcher.isDefined(OWLClass c,
OWLOntology o)
Checks if c is defined (is included in equivalent axioms) in o.
|
Modifier and Type | Method and Description |
---|---|
OWLClass |
OWLObjectDesharer.visit(OWLClass ce) |
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 ce) |
void |
SimpleRenderer.visit(OWLClass ce) |
O |
OWLObjectVisitorExAdapter.visit(OWLClass ce) |
void |
OWLObjectVisitorAdapter.visit(OWLClass ce) |
void |
OWLObjectTypeIndexProvider.visit(OWLClass ce) |
void |
OWLObjectDuplicator.visit(OWLClass ce) |
OWLClass |
OWLObjectDesharer.visit(OWLClass ce) |
void |
OWLObjectComponentCollector.visit(OWLClass ce) |
O |
OWLEntityVisitorExAdapter.visit(OWLClass cls) |
void |
OWLEntityVisitorAdapter.visit(OWLClass cls) |
void |
OWLEntityRemover.visit(OWLClass cls) |
void |
OWLEntityComparator.visit(OWLClass cls) |
Collection<OWLEntity> |
OWLEntityCollector.visit(OWLClass ce) |
O |
OWLClassExpressionVisitorExAdapter.visit(OWLClass ce) |
void |
OWLClassExpressionVisitorAdapter.visit(OWLClass ce) |
Set<OWLClassExpression> |
OWLClassExpressionCollector.visit(OWLClass ce) |
void |
OWLAnonymousIndividualsWithMultipleOccurrences.visit(OWLClass desc) |
void |
OWLAnnotationPropertyTransformer.visit(OWLClass ce) |
OWLClassExpression |
NNF.visit(OWLClass ce) |
void |
HashCode.visit(OWLClass ce) |
void |
DeprecatedOWLEntityCollector.visit(OWLClass desc)
Deprecated.
|
O |
DelegatingObjectVisitorEx.visit(OWLClass ce) |
Modifier and Type | Method and Description |
---|---|
static Set<OWLClass> |
SKOSVocabulary.getClasses(OWLDataFactory dataFactory) |
Modifier and Type | Method and Description |
---|---|
OWLClass |
BuilderClass.buildObject() |
OWLClass |
BuilderDisjointUnion.getClassExpression() |
Modifier and Type | Method and Description |
---|---|
BuilderDisjointUnion |
BuilderDisjointUnion.withClass(OWLClass arg) |
Constructor and Description |
---|
BuilderClass(OWLClass expected,
OWLDataFactory df)
builder initialized from an existing object
|
BuilderEntity(OWLClass expected,
OWLDataFactory df)
builder initialized from an existing object
|
Modifier and Type | Class and Description |
---|---|
class |
OWLClassImpl |
Modifier and Type | Method and Description |
---|---|
OWLClass |
OWLObjectPropertyImpl.asOWLClass() |
OWLClass |
OWLNamedIndividualImpl.asOWLClass() |
OWLClass |
OWLDatatypeImpl.asOWLClass() |
OWLClass |
OWLDataPropertyImpl.asOWLClass() |
OWLClass |
OWLClassImpl.asOWLClass() |
OWLClass |
OWLAnonymousClassExpressionImpl.asOWLClass() |
OWLClass |
OWLAnnotationPropertyImpl.asOWLClass() |
OWLClass |
OWL2DatatypeImpl.asOWLClass() |
OWLClass |
OWLDisjointUnionAxiomImpl.getOWLClass() |
OWLClass |
OWLDataFactoryInternalsImplNoCache.getOWLClass(IRI iri) |
OWLClass |
OWLDataFactoryInternalsImpl.getOWLClass(IRI iri) |
OWLClass |
OWLDataFactoryInternals.getOWLClass(IRI iri) |
OWLClass |
OWLDataFactoryImpl.getOWLClass(IRI iri) |
OWLClass |
OWLDataFactoryImpl.getOWLClass(String abbreviatedIRI,
PrefixManager prefixManager) |
OWLClass |
OWLDataFactoryImpl.getOWLNothing() |
OWLClass |
OWLDataFactoryImpl.getOWLThing() |
Modifier and Type | Method and Description |
---|---|
Set<OWLClass> |
OWLObjectImplWithoutEntityAndAnonCaching.getClassesInSignature() |
Set<OWLClass> |
OWLObjectImplWithEntityAndAnonCaching.getClassesInSignature() |
Set<OWLClass> |
OWLLiteralImplString.getClassesInSignature() |
Set<OWLClass> |
OWLImmutableOntologyImpl.getClassesInSignature() |
Set<OWLClass> |
OWL2DatatypeImpl.getClassesInSignature() |
Set<OWLClass> |
OWLImmutableOntologyImpl.getClassesInSignature(boolean includeImportsClosure) |
Set<OWLClass> |
OWLImmutableOntologyImpl.getClassesInSignature(Imports includeImportsClosure) |
Set<OWLClass> |
OWLEquivalentClassesAxiomImpl.getNamedClasses() |
Constructor and Description |
---|
OWLDisjointUnionAxiomImpl(OWLClass owlClass,
Set<? extends OWLClassExpression> classExpressions,
Set<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
Set<OWLClass> |
ConcurrentOWLOntologyImpl.getClassesInSignature() |
Set<OWLClass> |
ConcurrentOWLOntologyImpl.getClassesInSignature(boolean b)
Deprecated.
|
Set<OWLClass> |
ConcurrentOWLOntologyImpl.getClassesInSignature(Imports imports) |
Modifier and Type | Method and Description |
---|---|
Set<OWLClassAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(OWLClass owlClass)
Deprecated.
|
Set<OWLClassAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(OWLClass owlClass,
boolean b)
Deprecated.
|
Set<OWLClassAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(OWLClass owlClass,
Imports imports) |
Set<OWLDisjointClassesAxiom> |
ConcurrentOWLOntologyImpl.getDisjointClassesAxioms(OWLClass owlClass) |
Set<OWLDisjointUnionAxiom> |
ConcurrentOWLOntologyImpl.getDisjointUnionAxioms(OWLClass owlClass) |
Set<OWLEquivalentClassesAxiom> |
ConcurrentOWLOntologyImpl.getEquivalentClassesAxioms(OWLClass owlClass) |
Set<OWLHasKeyAxiom> |
ConcurrentOWLOntologyImpl.getHasKeyAxioms(OWLClass owlClass) |
Set<OWLSubClassOfAxiom> |
ConcurrentOWLOntologyImpl.getSubClassAxiomsForSubClass(OWLClass owlClass) |
Set<OWLSubClassOfAxiom> |
ConcurrentOWLOntologyImpl.getSubClassAxiomsForSuperClass(OWLClass owlClass) |
Copyright © 2017 The University of Manchester. All Rights Reserved.