public class OWLClassImpl extends OWLClassExpressionImpl implements OWLClass, Serializable
asOWLDataProperty, isOWLDataPropertyasOWLAnnotationProperty, isOWLAnnotationPropertyasOWLObjectProperty, isOWLObjectProperty| Constructor and Description |
|---|
OWLClassImpl(IRI iri) |
| Modifier and Type | Method and Description |
|---|---|
Set<OWLClassExpression> |
asConjunctSet() |
Set<OWLClassExpression> |
asDisjunctSet() |
Stream<OWLClassExpression> |
conjunctSet() |
boolean |
containsConjunct(OWLClassExpression ce) |
Stream<OWLClassExpression> |
disjunctSet() |
OWLClassExpression |
getComplementNNF() |
IRI |
getIRI() |
OWLClassExpression |
getNNF() |
OWLClassExpression |
getObjectComplementOf() |
boolean |
isBuiltIn() |
boolean |
isOWLNothing() |
boolean |
isOWLThing() |
String |
toStringID() |
annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toStringaccept, accept, accept, accept, accept, accept, accept, accept, getClassExpressionType, getEntityType, hashIndex, isBottomEntity, isClassExpressionLiteral, isOWLClass, isTopEntity, typeIndexcomponents, initHashCodeisAnonymous, isTypegetNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isAxiom, isIndividual, isIRI, isOntology, nestedClassExpressionscompareTogetSignature, signature, unsortedSignaturecontainsEntityInSignatureanonymousIndividuals, getAnonymousIndividualsclassesInSignature, getClassesInSignaturegetObjectPropertiesInSignature, objectPropertiesInSignaturedataPropertiesInSignature, getDataPropertiesInSignaturegetIndividualsInSignature, individualsInSignaturedatatypesInSignature, getDatatypesInSignatureannotationPropertiesInSignature, getAnnotationPropertiesInSignaturecomponentsAnnotationsFirst, componentsWithoutAnnotationsisNamedasOWLClassasOWLDataProperty, isOWLDataPropertyasOWLDatatype, isOWLDatatypeasOWLAnnotationProperty, isOWLAnnotationPropertyasOWLNamedIndividual, isOWLNamedIndividualasOWLObjectProperty, isOWLObjectPropertyaddAnonymousIndividualsToSet, addSignatureEntitiesToSetpublic OWLClassImpl(IRI iri)
iri - class iripublic OWLClassExpression getObjectComplementOf()
getObjectComplementOf in interface OWLClassExpressionpublic String toStringID()
toStringID in interface OWLEntitypublic boolean isOWLThing()
isOWLThing in interface OWLClassExpressionpublic boolean isOWLNothing()
isOWLNothing in interface OWLClassExpressionpublic OWLClassExpression getNNF()
getNNF in interface OWLClassExpressionpublic Set<OWLClassExpression> asConjunctSet()
asConjunctSet in interface OWLClassExpressionpublic Stream<OWLClassExpression> conjunctSet()
conjunctSet in interface OWLClassExpressionpublic boolean containsConjunct(OWLClassExpression ce)
containsConjunct in interface OWLClassExpressionpublic Set<OWLClassExpression> asDisjunctSet()
asDisjunctSet in interface OWLClassExpressionpublic OWLClassExpression getComplementNNF()
getComplementNNF in interface OWLClassExpressionpublic Stream<OWLClassExpression> disjunctSet()
disjunctSet in interface OWLClassExpressionCopyright © 2021 The University of Manchester. All rights reserved.