Uses of Interface
it.unibz.inf.ontop.spec.ontology.ClassExpression

Packages that use ClassExpression

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

Uses of ClassExpression in it.unibz.inf.ontop.spec.ontology

Subinterfaces of ClassExpression in it.unibz.inf.ontop.spec.ontology

Modifier and Type	Interface and Description
interface	DataSomeValuesFrom Represents DataSomeValuesFrom from OWL 2 Specification DataSomeValuesFrom := 'DataSomeValuesFrom' '(' DataPropertyExpression { DataPropertyExpression } DataRange ')'
interface	ObjectSomeValuesFrom Represents ObjectSomeValuesFrom from OWl 2 Specification A non-qualified property some restriction.
interface	OClass A named class.

Methods in it.unibz.inf.ontop.spec.ontology that return types with arguments of type ClassExpression

Modifier and Type	Method and Description
EquivalencesDAG<ClassExpression>	ClassifiedTBox.classesDAG()
com.google.common.collect.ImmutableList<NaryAxiom<ClassExpression>>	ClassifiedTBox.disjointClasses()

Methods in it.unibz.inf.ontop.spec.ontology with parameters of type ClassExpression

Modifier and Type	Method and Description
void	OntologyBuilder.addDisjointClassesAxiom(ClassExpression... classes)
void	OntologyBuilder.addSubClassOfAxiom(ClassExpression concept1, ClassExpression concept2)

Uses of ClassExpression in it.unibz.inf.ontop.spec.ontology.impl

Classes in it.unibz.inf.ontop.spec.ontology.impl that implement ClassExpression

Modifier and Type	Class and Description
class	ClassImpl
class	DataSomeValuesFromImpl DataSomeValuesFrom in OWL 2 QL Specification
class	ObjectSomeValuesFromImpl subObjectSomeValuesFrom in OWL 2 QL Specification

Methods in it.unibz.inf.ontop.spec.ontology.impl that return types with arguments of type ClassExpression

Modifier and Type	Method and Description
EquivalencesDAG<ClassExpression>	ClassifiedTBoxImpl.classesDAG()
com.google.common.collect.ImmutableList<NaryAxiom<ClassExpression>>	ClassifiedTBoxImpl.disjointClasses()
org.jgrapht.graph.DefaultDirectedGraph<ClassExpression,org.jgrapht.graph.DefaultEdge>	ClassifiedTBoxImpl.getClassGraph() Deprecated.
com.google.common.collect.ImmutableList<NaryAxiom<ClassExpression>>	OntologyImpl.UnclassifiedOntologyTBox.getDisjointClassesAxioms()
com.google.common.collect.ImmutableList<BinaryAxiom<ClassExpression>>	OntologyImpl.UnclassifiedOntologyTBox.getSubClassAxioms()

Methods in it.unibz.inf.ontop.spec.ontology.impl with parameters of type ClassExpression

Modifier and Type	Method and Description
void	OntologyBuilderImpl.addDisjointClassesAxiom(ClassExpression... ces) Normalizes and adds class disjointness axiom
void	OntologyBuilderImpl.addSubClassOfAxiom(ClassExpression ce1, ClassExpression ce2) Normalizes and adds subclass axiom