Package | Description |
---|---|
de.tudresden.inf.lat.jcel.ontology.axiom.complex |
Provides interfaces and classes that model complex axioms.
|
Modifier and Type | Class and Description |
---|---|
class |
IntegerClassDeclarationAxiom
An object of this class is an axiom that declares a class.
|
class |
IntegerDataPropertyDeclarationAxiom
An object of this class is an axiom that declares an data property.
|
class |
IntegerNamedIndividualDeclarationAxiom
An object of this class is an axiom that declares a named individual.
|
class |
IntegerObjectPropertyDeclarationAxiom
An object of this class is an axiom that declares an object property.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.