it.unibz.inf.ontop.spec.ontology.impl

Class ClassifiedTBoxImpl

java.lang.Object

it.unibz.inf.ontop.spec.ontology.impl.ClassifiedTBoxImpl

All Implemented Interfaces:

ClassifiedTBox

public class ClassifiedTBoxImpl
extends Object
implements ClassifiedTBox

ClassifiedTBoxImpl a DAG-based TBox reasoner

Author:

Roman Kontchakov

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()
int	edgeSetSize() Deprecated.
com.google.common.collect.ImmutableSet<DataPropertyExpression>	functionalDataProperties()
com.google.common.collect.ImmutableSet<ObjectPropertyExpression>	functionalObjectProperties()
org.jgrapht.graph.DefaultDirectedGraph<ClassExpression,org.jgrapht.graph.DefaultEdge>	getClassGraph() Deprecated.
org.jgrapht.graph.DefaultDirectedGraph<DataPropertyExpression,org.jgrapht.graph.DefaultEdge>	getDataPropertyGraph() Deprecated.
org.jgrapht.graph.DefaultDirectedGraph<DataRangeExpression,org.jgrapht.graph.DefaultEdge>	getDataRangeGraph() Deprecated.
org.jgrapht.graph.DefaultDirectedGraph<ObjectPropertyExpression,org.jgrapht.graph.DefaultEdge>	getObjectPropertyGraph() Deprecated.
com.google.common.collect.ImmutableSet<ObjectPropertyExpression>	irreflexiveObjectProperties()
OntologyVocabularyCategory<ObjectPropertyExpression>	objectProperties() object properties
EquivalencesDAG<ObjectPropertyExpression>	objectPropertiesDAG()
com.google.common.collect.ImmutableSet<ObjectPropertyExpression>	reflexiveObjectProperties()
String	toString()
int	vertexSetSize() Deprecated.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

toString

public String toString()

Overrides:

toString in class Object

objectProperties

public OntologyVocabularyCategory<ObjectPropertyExpression> objectProperties()

Description copied from interface: ClassifiedTBox

object properties

Specified by:

objectProperties in interface ClassifiedTBox

Returns:

object properties

objectPropertiesDAG

public EquivalencesDAG<ObjectPropertyExpression> objectPropertiesDAG()

Specified by:

objectPropertiesDAG in interface ClassifiedTBox

dataProperties

public OntologyVocabularyCategory<DataPropertyExpression> dataProperties()

Description copied from interface: ClassifiedTBox

data properties

Specified by:

dataProperties in interface ClassifiedTBox

Returns:

data properties

dataPropertiesDAG

public EquivalencesDAG<DataPropertyExpression> dataPropertiesDAG()

Specified by:

dataPropertiesDAG in interface ClassifiedTBox

classes

public OntologyVocabularyCategory<OClass> classes()

Description copied from interface: ClassifiedTBox

classes

Specified by:

classes in interface ClassifiedTBox

Returns:

classes

classesDAG

public EquivalencesDAG<ClassExpression> classesDAG()

Specified by:

classesDAG in interface ClassifiedTBox

dataRangesDAG

public EquivalencesDAG<DataRangeExpression> dataRangesDAG()

Description copied from interface: ClassifiedTBox

datatypes and data property ranges

Specified by:

dataRangesDAG in interface ClassifiedTBox

Returns:

datatypes and data property ranges with their dag

functionalObjectProperties

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

Specified by:

functionalObjectProperties in interface ClassifiedTBox

functionalDataProperties

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

Specified by:

functionalDataProperties in interface ClassifiedTBox

disjointClasses

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

Specified by:

disjointClasses in interface ClassifiedTBox

disjointObjectProperties

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

Specified by:

disjointObjectProperties in interface ClassifiedTBox

disjointDataProperties

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

Specified by:

disjointDataProperties in interface ClassifiedTBox

reflexiveObjectProperties

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

Specified by:

reflexiveObjectProperties in interface ClassifiedTBox

irreflexiveObjectProperties

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

Specified by:

irreflexiveObjectProperties in interface ClassifiedTBox

getClassGraph

@Deprecated
public org.jgrapht.graph.DefaultDirectedGraph<ClassExpression,org.jgrapht.graph.DefaultEdge> getClassGraph()

Deprecated.

getDataRangeGraph

@Deprecated
public org.jgrapht.graph.DefaultDirectedGraph<DataRangeExpression,org.jgrapht.graph.DefaultEdge> getDataRangeGraph()

Deprecated.

getObjectPropertyGraph

@Deprecated
public org.jgrapht.graph.DefaultDirectedGraph<ObjectPropertyExpression,org.jgrapht.graph.DefaultEdge> getObjectPropertyGraph()

Deprecated.

getDataPropertyGraph

@Deprecated
public org.jgrapht.graph.DefaultDirectedGraph<DataPropertyExpression,org.jgrapht.graph.DefaultEdge> getDataPropertyGraph()

Deprecated.

edgeSetSize

@Deprecated
public int edgeSetSize()

Deprecated.

vertexSetSize

@Deprecated
public int vertexSetSize()

Deprecated.