Package | Description |
---|---|
de.tudresden.inf.lat.jcel.ontology.axiom.complex |
Provides interfaces and classes that model complex axioms.
|
de.tudresden.inf.lat.jcel.ontology.axiom.extension |
Provides interfaces and classes that extend a set of axioms.
|
de.tudresden.inf.lat.jcel.ontology.normalization |
Provides interfaces and classes needed to perform the
normalization.
|
de.tudresden.inf.lat.jcel.owlapi.translator |
Provides interfaces and classes used in the translation
between OWL API objects and integer numbers (the internal
representation).
|
de.tudresden.inf.lat.jcel.reasoner.main |
Provides interfaces and classes used for the reasoner.
|
de.tudresden.inf.lat.jcel.reasoner.module |
Provides interfaces and classes to run the classification
algorithm using module extraction.
|
Modifier and Type | Interface and Description |
---|---|
interface |
IntegerDeclarationAxiom
This interface is implemented by declaration axioms.
|
Modifier and Type | Class and Description |
---|---|
class |
IntegerClassAssertionAxiom
This class models an assertion axiom that relates a class with an individual.
|
class |
IntegerClassDeclarationAxiom
An object of this class is an axiom that declares a class.
|
class |
IntegerDataPropertyAssertionAxiom
This class models an assertion that relates a data property and a pair of
individuals.
|
class |
IntegerDataPropertyDeclarationAxiom
An object of this class is an axiom that declares an data property.
|
class |
IntegerDifferentIndividualsAxiom
This class models an axiom saying that two or more individuals are pairwise
different.
|
class |
IntegerDisjointClassesAxiom
This class models an axiom stating that the contained classes are pairwise
disjoint.
|
class |
IntegerEquivalentClassesAxiom
This class models an axiom stating that the contained classes are equivalent.
|
class |
IntegerEquivalentObjectPropertiesAxiom
This class models an axiom stating that the contained properties are
equivalent.
|
class |
IntegerFunctionalObjectPropertyAxiom
This class models an axiom stating that an object property is functional.
|
class |
IntegerInverseFunctionalObjectPropertyAxiom
This class models an axiom stating that the inverse of an object property is
functional.
|
class |
IntegerInverseObjectPropertiesAxiom
This class models an axiom stating that one object property is the inverse of
another object property.
|
class |
IntegerNamedIndividualDeclarationAxiom
An object of this class is an axiom that declares a named individual.
|
class |
IntegerNegativeObjectPropertyAssertionAxiom
This class models an assertion that negatively relates an object property and
a pair of individuals.
|
class |
IntegerObjectPropertyAssertionAxiom
This class models an assertion that relates an object property and a pair of
individuals.
|
class |
IntegerObjectPropertyDeclarationAxiom
An object of this class is an axiom that declares an object property.
|
class |
IntegerPropertyRangeAxiom
This class models an axiom stating that the range of a particular object
property is included in a particular class expression.
|
class |
IntegerReflexiveObjectPropertyAxiom
This class models an axiom stating that an object property is reflexive.
|
class |
IntegerSameIndividualAxiom
This class models an axiom saying that two or more individuals are the same.
|
class |
IntegerSubClassOfAxiom
This class models an axiom stating that one class is a subclass of another
one.
|
class |
IntegerSubObjectPropertyOfAxiom
This class models an axiom stating that one object property is a subproperty
of another one.
|
class |
IntegerSubPropertyChainOfAxiom
This class models an axiom stating that the contained properties form a
subsumption chain.
|
class |
IntegerTransitiveObjectPropertyAxiom
This class models an axiom stating that the contained object property is
transitive.
|
Constructor and Description |
---|
ComplexAxiomExpressivityDetector(Set<ComplexIntegerAxiom> axiomSet)
Constructs a new expressivity detector.
|
Modifier and Type | Method and Description |
---|---|
Set<NormalizedIntegerAxiom> |
OntologyNormalizer.normalize(Set<ComplexIntegerAxiom> originalAxiomSet,
IntegerOntologyObjectFactory factory)
Normalizes a set of axioms.
|
Modifier and Type | Method and Description |
---|---|
Set<ComplexIntegerAxiom> |
Translator.translateSA(Set<org.semanticweb.owlapi.model.OWLAxiom> owlObject) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom) |
Set<ComplexIntegerAxiom> |
AxiomTranslator.visit(org.semanticweb.owlapi.model.SWRLRule axiom) |
Modifier and Type | Method and Description |
---|---|
boolean |
RuleBasedReasoner.isEntailed(ComplexIntegerAxiom axiom) |
boolean |
IntegerReasoner.isEntailed(ComplexIntegerAxiom axiom)
Tells whether the specified axiom is entailed by the ontology.
|
Modifier and Type | Method and Description |
---|---|
boolean |
RuleBasedReasoner.isEntailed(Set<ComplexIntegerAxiom> axioms) |
boolean |
IntegerReasoner.isEntailed(Set<ComplexIntegerAxiom> axioms)
Tells whether the specified set of axioms is entailed by the ontology.
|
Constructor and Description |
---|
RuleBasedReasoner(Set<ComplexIntegerAxiom> ontology,
IntegerOntologyObjectFactory factory) |
Modifier and Type | Method and Description |
---|---|
Processor |
ModuleProcessorFactory.createProcessor(Set<ComplexIntegerAxiom> axioms)
Creates a new processor.
|
Constructor and Description |
---|
ClassModuleProcessor(Set<ComplexIntegerAxiom> axiomSet,
IntegerOntologyObjectFactory axFactory,
ModuleProcessorFactory procFactory)
Constructs a class module processor.
|
ModuleProcessor(Set<ComplexIntegerAxiom> axiomSet,
ModuleProcessorFactory factory)
Constructs a new module processor.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.