public interface SchemaReasoner
Modifier and Type | Method and Description |
---|---|
Set<org.semanticweb.owlapi.model.OWLClassExpression> |
getAssertedDefinitions(org.semanticweb.owlapi.model.OWLClass namedClass)
Returns all asserted owl:equivalence class axioms for the given class.
|
Hierarchy<org.semanticweb.owlapi.model.OWLClassExpression> |
getClassHierarchy()
Computes and returns the class hierarchy of the knowledge base.
|
DatatypePropertyHierarchy |
getDatatypePropertyHierarchy()
Computes and returns the data property hierarchy of the knowledge base.
|
org.semanticweb.owlapi.model.OWLClassExpression |
getDomain(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
Returns the domain of this data property.
|
org.semanticweb.owlapi.model.OWLClassExpression |
getDomain(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
Returns the domain of this object property.
|
Set<org.semanticweb.owlapi.model.OWLClass> |
getInconsistentClasses()
Returns all named classes, which are not satisfiable, i.e.
|
SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> |
getMostGeneralDatatypeProperties() |
SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> |
getMostGeneralProperties()
TODO Outdated in OWL 2, because the universal role is the most general.
|
SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> |
getMostSpecialDatatypeProperties() |
SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> |
getMostSpecialProperties()
TODO Outdated in OWL, because the bottom role is the most specific.
|
ObjectPropertyHierarchy |
getObjectPropertyHierarchy()
Computes and returns the object property hierarchy of the knowledge base.
|
org.semanticweb.owlapi.model.OWLDataRange |
getRange(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
Returns the range of this data property.
|
org.semanticweb.owlapi.model.OWLClassExpression |
getRange(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
Returns the range of this object property.
|
SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> |
getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression description)
Returns direct sub classes in the class hierarchy.
|
SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> |
getSubProperties(org.semanticweb.owlapi.model.OWLDataProperty dataProperty)
Returns more special concepts in the subsumption hierarchy.
|
SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> |
getSubProperties(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
Returns more special concepts in the subsumption hierarchy.
|
<T extends org.semanticweb.owlapi.model.OWLProperty> |
getSubProperties(T property)
Computes all sub properties for the given property.
|
SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> |
getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression description)
Returns direct super classes in the class hierarchy.
|
SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> |
getSuperProperties(org.semanticweb.owlapi.model.OWLDataProperty dataProperty)
Returns more general concepts in the subsumption hierarchy.
|
SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> |
getSuperProperties(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
Returns more general concepts in the subsumption hierarchy.
|
<T extends org.semanticweb.owlapi.model.OWLProperty> |
getSuperProperties(T property)
Computes all super properties for the given property.
|
boolean |
isDisjoint(org.semanticweb.owlapi.model.OWLClass class1,
org.semanticweb.owlapi.model.OWLClass class2)
Checks whether
class1 is disjoint with class2 . |
boolean |
isEquivalentClass(org.semanticweb.owlapi.model.OWLClassExpression class1,
org.semanticweb.owlapi.model.OWLClassExpression class2)
Checks whether
class1 is equivalent to class2 . |
boolean |
isSuperClassOf(org.semanticweb.owlapi.model.OWLClassExpression superClass,
org.semanticweb.owlapi.model.OWLClassExpression subClass)
Checks whether
superClass is a super class of subClass . |
Set<org.semanticweb.owlapi.model.OWLClassExpression> |
isSuperClassOf(Set<org.semanticweb.owlapi.model.OWLClassExpression> superClasses,
org.semanticweb.owlapi.model.OWLClassExpression subClasses)
Checks which of
superClasses are super classes of subClass |
Set<org.semanticweb.owlapi.model.OWLClass> getInconsistentClasses()
org.semanticweb.owlapi.model.OWLClassExpression getDomain(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
objectProperty
- An object property in the knowledge base.objectProperty
org.semanticweb.owlapi.model.OWLClassExpression getDomain(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
datatypeProperty
- An data property in the knowledge base.datatypeProperty
org.semanticweb.owlapi.model.OWLClassExpression getRange(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
objectProperty
- An object property in the knowledge base.objectProperty
org.semanticweb.owlapi.model.OWLDataRange getRange(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
datatypeProperty
- An data property in the knowledge base.datatypeProperty
boolean isSuperClassOf(org.semanticweb.owlapi.model.OWLClassExpression superClass, org.semanticweb.owlapi.model.OWLClassExpression subClass)
superClass
is a super class of subClass
.superClass
- The (supposed) super class.subClass
- The (supposed) sub class.superClass
is a super class of subClass
.boolean isEquivalentClass(org.semanticweb.owlapi.model.OWLClassExpression class1, org.semanticweb.owlapi.model.OWLClassExpression class2)
class1
is equivalent to class2
.class1
- The first class.class2
- The second class2.class1
is equivalent to class2
.boolean isDisjoint(org.semanticweb.owlapi.model.OWLClass class1, org.semanticweb.owlapi.model.OWLClass class2)
class1
is disjoint with class2
.class1
- The first class.class2
- The second class2.class1
is disjoint with class2
.Set<org.semanticweb.owlapi.model.OWLClassExpression> getAssertedDefinitions(org.semanticweb.owlapi.model.OWLClass namedClass)
namedClass
- A named class in the background knowledge.Set<org.semanticweb.owlapi.model.OWLClassExpression> isSuperClassOf(Set<org.semanticweb.owlapi.model.OWLClassExpression> superClasses, org.semanticweb.owlapi.model.OWLClassExpression subClasses)
superClasses
are super classes of subClass
superClasses
- A set of (supposed) super classes.subClasses
- The (supposed) sub class.superClasses
, which satisfy the superclass-subclass relationship.Hierarchy<org.semanticweb.owlapi.model.OWLClassExpression> getClassHierarchy()
SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression description)
description
- Atomic concept, top, or bottom.SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression description)
description
- Atomic concept, top, or bottom.ObjectPropertyHierarchy getObjectPropertyHierarchy()
SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> getSuperProperties(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
objectProperty
- Atomic concept, top, or bottom.ObjectPropertyHierarchy.getMoreGeneralRoles(OWLObjectProperty)
SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> getSubProperties(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
objectProperty
- Atomic concept, top, or bottom.ObjectPropertyHierarchy.getMoreSpecialRoles(OWLObjectProperty)
SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> getMostGeneralProperties()
ObjectPropertyHierarchy.getMostGeneralRoles()
SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> getMostSpecialProperties()
ObjectPropertyHierarchy.getMostSpecialRoles()
DatatypePropertyHierarchy getDatatypePropertyHierarchy()
SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> getSuperProperties(org.semanticweb.owlapi.model.OWLDataProperty dataProperty)
dataProperty
- Atomic concept, top, or bottom.DatatypePropertyHierarchy.getMoreGeneralRoles(OWLDataProperty)
SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> getSubProperties(org.semanticweb.owlapi.model.OWLDataProperty dataProperty)
dataProperty
- Atomic concept, top, or bottom.DatatypePropertyHierarchy.getMoreSpecialRoles(OWLDataProperty)
SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> getMostGeneralDatatypeProperties()
DatatypePropertyHierarchy.getMostGeneralRoles()
SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> getMostSpecialDatatypeProperties()
DatatypePropertyHierarchy.getMostSpecialRoles()
<T extends org.semanticweb.owlapi.model.OWLProperty> SortedSet<T> getSuperProperties(T property)
property
- the property<T extends org.semanticweb.owlapi.model.OWLProperty> SortedSet<T> getSubProperties(T property)
property
- the property DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann