it.unibz.inf.ontop.spec.ontology

Interface ClassifiedTBox

All Known Implementing Classes:

ClassifiedTBoxImpl

public interface ClassifiedTBox

This is the interface for the class ClassifiedTBox where we are able to retrieve all the connection built in our DAG

Method Summary

Modifier and Type	Method and Description
OntologyVocabularyCategory<OClass>	classes() classes
EquivalencesDAG<ClassExpression>	classesDAG()
OntologyVocabularyCategory<DataPropertyExpression>	dataProperties() data properties
EquivalencesDAG<DataPropertyExpression>	dataPropertiesDAG()
EquivalencesDAG<DataRangeExpression>	dataRangesDAG() datatypes and data property ranges
com.google.common.collect.ImmutableList<NaryAxiom<ClassExpression>>	disjointClasses()
com.google.common.collect.ImmutableList<NaryAxiom<DataPropertyExpression>>	disjointDataProperties()
com.google.common.collect.ImmutableList<NaryAxiom<ObjectPropertyExpression>>	disjointObjectProperties()
com.google.common.collect.ImmutableSet<DataPropertyExpression>	functionalDataProperties()
com.google.common.collect.ImmutableSet<ObjectPropertyExpression>	functionalObjectProperties()
com.google.common.collect.ImmutableSet<ObjectPropertyExpression>	irreflexiveObjectProperties()
OntologyVocabularyCategory<ObjectPropertyExpression>	objectProperties() object properties
EquivalencesDAG<ObjectPropertyExpression>	objectPropertiesDAG()
com.google.common.collect.ImmutableSet<ObjectPropertyExpression>	reflexiveObjectProperties()

Method Detail

objectProperties

OntologyVocabularyCategory<ObjectPropertyExpression> objectProperties()

object properties

Returns:

object properties

objectPropertiesDAG

EquivalencesDAG<ObjectPropertyExpression> objectPropertiesDAG()

dataProperties

OntologyVocabularyCategory<DataPropertyExpression> dataProperties()

data properties

Returns:

data properties

dataPropertiesDAG

EquivalencesDAG<DataPropertyExpression> dataPropertiesDAG()

classes

OntologyVocabularyCategory<OClass> classes()

classes

Returns:

classes

classesDAG

EquivalencesDAG<ClassExpression> classesDAG()

dataRangesDAG

EquivalencesDAG<DataRangeExpression> dataRangesDAG()

datatypes and data property ranges

Returns:

datatypes and data property ranges with their dag

disjointClasses

com.google.common.collect.ImmutableList<NaryAxiom<ClassExpression>> disjointClasses()

disjointObjectProperties

com.google.common.collect.ImmutableList<NaryAxiom<ObjectPropertyExpression>> disjointObjectProperties()

disjointDataProperties

com.google.common.collect.ImmutableList<NaryAxiom<DataPropertyExpression>> disjointDataProperties()

reflexiveObjectProperties

com.google.common.collect.ImmutableSet<ObjectPropertyExpression> reflexiveObjectProperties()

irreflexiveObjectProperties

com.google.common.collect.ImmutableSet<ObjectPropertyExpression> irreflexiveObjectProperties()

functionalObjectProperties

com.google.common.collect.ImmutableSet<ObjectPropertyExpression> functionalObjectProperties()

functionalDataProperties

com.google.common.collect.ImmutableSet<DataPropertyExpression> functionalDataProperties()