public final class OntologyImpl.UnclassifiedOntologyTBox extends Object
| Constructor and Description |
|---|
UnclassifiedOntologyTBox() |
public OntologyVocabularyCategory<OClass> classes()
public OntologyVocabularyCategory<ObjectPropertyExpression> objectProperties()
public OntologyVocabularyCategory<DataPropertyExpression> dataProperties()
public OntologyVocabularyCategory<AnnotationProperty> annotationProperties()
public com.google.common.collect.ImmutableList<BinaryAxiom<ClassExpression>> getSubClassAxioms()
public com.google.common.collect.ImmutableList<BinaryAxiom<DataRangeExpression>> getSubDataRangeAxioms()
public com.google.common.collect.ImmutableList<BinaryAxiom<ObjectPropertyExpression>> getSubObjectPropertyAxioms()
public com.google.common.collect.ImmutableList<BinaryAxiom<DataPropertyExpression>> getSubDataPropertyAxioms()
public com.google.common.collect.ImmutableSet<ObjectPropertyExpression> getFunctionalObjectProperties()
public com.google.common.collect.ImmutableSet<DataPropertyExpression> getFunctionalDataProperties()
public com.google.common.collect.ImmutableList<NaryAxiom<ClassExpression>> getDisjointClassesAxioms()
public com.google.common.collect.ImmutableList<NaryAxiom<ObjectPropertyExpression>> getDisjointObjectPropertiesAxioms()
public com.google.common.collect.ImmutableList<NaryAxiom<DataPropertyExpression>> getDisjointDataPropertiesAxioms()
public com.google.common.collect.ImmutableSet<ObjectPropertyExpression> getReflexiveObjectPropertyAxioms()
public com.google.common.collect.ImmutableSet<ObjectPropertyExpression> getIrreflexiveObjectPropertyAxioms()
public com.google.common.collect.ImmutableSet<ObjectPropertyExpression> getAuxiliaryObjectProperties()
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.