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)
Translate 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 |
---|---|
OWLClass |
OWLFunctionalSyntaxParser.Class() |
OWLClass |
OWLFunctionalSyntaxParser.ClassIRI() |
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.
|
Set<OWLClassAxiom> |
OWLAxiomCollectionBooleanArgs.getAxioms(OWLClass cls,
boolean includeImportsClosure)
Deprecated.
|
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 |
---|---|
void |
ProfileVisitor.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 e 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 e by axioms in the specified
ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getEquivalentClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be equivalent with e by axioms in the specified
ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getEquivalentClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be equivalent with e by axioms in the specified
ontology.
|
static Collection<OWLIndividual> |
EntitySearcher.getIndividuals(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the individuals that have been asserted to be an instance of e by axioms in the
specified ontologies.
|
static Collection<OWLIndividual> |
EntitySearcher.getIndividuals(OWLClass e,
OWLOntology ontology)
Gets the individuals that have been asserted to be an instance of e 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 e in the specified
ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getSubClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be subclasses of e in the specified
ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getSuperClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be superclasses of e in the specified
ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getSuperClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be superclasses of e in the specified
ontology.
|
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 |
SimpleRendererDebug.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 © 2020 The University of Manchester. All rights reserved.