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() |
boolean |
containsConjunct(OWLClassExpression ce) |
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, typeIndexconjunctSet, disjunctSetcomponentsgetNestedClassExpressions, hasSharedStructure, isAnonymousExpression, isAxiom, isIndividual, isIRI, isOntology, nestedClassExpressionscompareTogetSignature, signaturecontainsEntityInSignatureanonymousIndividuals, getAnonymousIndividualsclassesInSignature, getClassesInSignaturegetObjectPropertiesInSignature, objectPropertiesInSignaturedataPropertiesInSignature, getDataPropertiesInSignaturegetIndividualsInSignature, individualsInSignaturedatatypesInSignature, getDatatypesInSignatureannotationPropertiesInSignature, getAnnotationPropertiesInSignaturecomponentsAnnotationsFirst, componentsWithoutAnnotationsisAnonymousasOWLClassasOWLDataProperty, 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 boolean containsConjunct(OWLClassExpression ce)
containsConjunct in interface OWLClassExpressionpublic Set<OWLClassExpression> asDisjunctSet()
asDisjunctSet in interface OWLClassExpressionpublic OWLClassExpression getComplementNNF()
getComplementNNF in interface OWLClassExpressionCopyright © 2017 The University of Manchester. All Rights Reserved.