public class ConceptTransformation extends Object
Modifier and Type | Field and Description |
---|---|
static long |
cleaningTimeNs |
static long |
onnfTimeNs |
static long |
shorteningTimeNs |
Constructor and Description |
---|
ConceptTransformation() |
Modifier and Type | Method and Description |
---|---|
static org.semanticweb.owlapi.model.OWLClassExpression |
appendSomeValuesFrom(org.semanticweb.owlapi.model.OWLClassExpression ce)
Expand the class expression by adding \exists r.\top for all properties r
that are involved in some \forall r.C on the same modal depth.
|
static org.semanticweb.owlapi.model.OWLClassExpression |
applyEquivalenceRules(org.semanticweb.owlapi.model.OWLClassExpression concept) |
static org.semanticweb.owlapi.model.OWLClassExpression |
cleanConcept(org.semanticweb.owlapi.model.OWLClassExpression concept) |
static org.semanticweb.owlapi.model.OWLClassExpression |
cleanConceptNonRecursive(org.semanticweb.owlapi.model.OWLClassExpression concept) |
static SortedSet<PropertyContext> |
getForallContexts(org.semanticweb.owlapi.model.OWLClassExpression description)
Gets the "contexts" of all \forall occurrences in a description.
|
static int |
getForallOccurences(org.semanticweb.owlapi.model.OWLClassExpression description)
Counts occurrences of \forall in description.
|
static org.semanticweb.owlapi.model.OWLClassExpression |
getShortConcept(org.semanticweb.owlapi.model.OWLClassExpression concept)
Tries to shorten a concept, e.g.
|
static boolean |
isDescriptionMinimal(org.semanticweb.owlapi.model.OWLClassExpression description)
Method to determine, whether a class expression is minimal,
e.g.
|
static boolean |
isSubdescription(org.semanticweb.owlapi.model.OWLClassExpression description,
org.semanticweb.owlapi.model.OWLClassExpression subDescription)
Tests whether a description is a subdescription in the sense that when
parts of
description can be removed to yield subdescription . |
static org.semanticweb.owlapi.model.OWLClassExpression |
nnf(org.semanticweb.owlapi.model.OWLClassExpression ce)
Returns the class expression in negation normal form.
|
static org.semanticweb.owlapi.model.OWLClassExpression |
replaceRange(org.semanticweb.owlapi.model.OWLClassExpression description,
AbstractReasonerComponent rs) |
public static long cleaningTimeNs
public static long onnfTimeNs
public static long shorteningTimeNs
public ConceptTransformation()
public static org.semanticweb.owlapi.model.OWLClassExpression cleanConceptNonRecursive(org.semanticweb.owlapi.model.OWLClassExpression concept)
public static org.semanticweb.owlapi.model.OWLClassExpression cleanConcept(org.semanticweb.owlapi.model.OWLClassExpression concept)
public static org.semanticweb.owlapi.model.OWLClassExpression nnf(org.semanticweb.owlapi.model.OWLClassExpression ce)
ce
- the class expressionpublic static org.semanticweb.owlapi.model.OWLClassExpression appendSomeValuesFrom(org.semanticweb.owlapi.model.OWLClassExpression ce)
ce
- the class expression to expandpublic static org.semanticweb.owlapi.model.OWLClassExpression applyEquivalenceRules(org.semanticweb.owlapi.model.OWLClassExpression concept)
public static org.semanticweb.owlapi.model.OWLClassExpression getShortConcept(org.semanticweb.owlapi.model.OWLClassExpression concept)
concept
- The input concepts.public static boolean isDescriptionMinimal(org.semanticweb.owlapi.model.OWLClassExpression description)
description
- Input description.public static org.semanticweb.owlapi.model.OWLClassExpression replaceRange(org.semanticweb.owlapi.model.OWLClassExpression description, AbstractReasonerComponent rs)
public static boolean isSubdescription(org.semanticweb.owlapi.model.OWLClassExpression description, org.semanticweb.owlapi.model.OWLClassExpression subDescription)
description
can be removed to yield subdescription
.description
- A description.subDescription
- A potential subdescription.subdescription
is indeed a sub description and false
otherwise.public static int getForallOccurences(org.semanticweb.owlapi.model.OWLClassExpression description)
description
- A description.public static SortedSet<PropertyContext> getForallContexts(org.semanticweb.owlapi.model.OWLClassExpression description)
description
- A description. DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann