Constructor and Description |
---|
Utility(AbstractReasonerComponent rs) |
Utility(AbstractReasonerComponent rs,
Map<org.semanticweb.owlapi.model.OWLObjectProperty,org.semanticweb.owlapi.model.OWLClassExpression> opDomains,
boolean instanceBasedDisjoints) |
Utility(AbstractReasonerComponent rs,
Map<org.semanticweb.owlapi.model.OWLObjectProperty,org.semanticweb.owlapi.model.OWLClassExpression> opDomains,
Map<org.semanticweb.owlapi.model.OWLDataProperty,org.semanticweb.owlapi.model.OWLClassExpression> dpDomains,
boolean instanceBasedDisjoints) |
Modifier and Type | Method and Description |
---|---|
SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> |
computeApplicableDatatypeProperties(org.semanticweb.owlapi.model.OWLClassExpression index)
Compute the set of applicable data properties for a
given description.
|
SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> |
computeApplicableObjectProperties(org.semanticweb.owlapi.model.OWLClassExpression index)
Compute the set of applicable object properties for a
given description.
|
Set<org.semanticweb.owlapi.model.OWLObjectProperty> |
computeMgr(Set<org.semanticweb.owlapi.model.OWLObjectProperty> applicableObjectProperties)
Given a set of applicable object properties, this method returns
the most general ones, i.e.
|
Set<org.semanticweb.owlapi.model.OWLDataProperty> |
computeMgrDP(Set<org.semanticweb.owlapi.model.OWLDataProperty> applicableDatatypeProperties)
Given a set of applicable data properties, this method returns
the most general ones, i.e.
|
Set<org.semanticweb.owlapi.model.OWLClass> |
getClassCandidates(org.semanticweb.owlapi.model.OWLClassExpression index,
Set<org.semanticweb.owlapi.model.OWLClass> existingClasses) |
boolean |
isDisjoint(org.semanticweb.owlapi.model.OWLClassExpression d1,
org.semanticweb.owlapi.model.OWLClassExpression d2) |
public Utility(AbstractReasonerComponent rs)
public Utility(AbstractReasonerComponent rs, Map<org.semanticweb.owlapi.model.OWLObjectProperty,org.semanticweb.owlapi.model.OWLClassExpression> opDomains, boolean instanceBasedDisjoints)
public Utility(AbstractReasonerComponent rs, Map<org.semanticweb.owlapi.model.OWLObjectProperty,org.semanticweb.owlapi.model.OWLClassExpression> opDomains, Map<org.semanticweb.owlapi.model.OWLDataProperty,org.semanticweb.owlapi.model.OWLClassExpression> dpDomains, boolean instanceBasedDisjoints)
public SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> computeApplicableObjectProperties(org.semanticweb.owlapi.model.OWLClassExpression index)
index
- The index is a class expression which determines
which of the properties are applicable. Exactly those which
where the index and property domain are not disjoint are
applicable, where disjoint is defined by isDisjoint(OWLClassExpression, OWLClassExpression)
.public SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> computeApplicableDatatypeProperties(org.semanticweb.owlapi.model.OWLClassExpression index)
index
- The index is a OWLClassExpression which determines
which of the properties are applicable. Exactly those which
where the index and property domain are not disjoint are
applicable, where disjoint is defined by isDisjoint(OWLClassExpression, OWLClassExpression)
.public Set<org.semanticweb.owlapi.model.OWLObjectProperty> computeMgr(Set<org.semanticweb.owlapi.model.OWLObjectProperty> applicableObjectProperties)
applicableObjectProperties
- The set of applicable properties.public Set<org.semanticweb.owlapi.model.OWLDataProperty> computeMgrDP(Set<org.semanticweb.owlapi.model.OWLDataProperty> applicableDatatypeProperties)
applicableDatatypeProperties
- The set of applicable properties.public Set<org.semanticweb.owlapi.model.OWLClass> getClassCandidates(org.semanticweb.owlapi.model.OWLClassExpression index, Set<org.semanticweb.owlapi.model.OWLClass> existingClasses)
public boolean isDisjoint(org.semanticweb.owlapi.model.OWLClassExpression d1, org.semanticweb.owlapi.model.OWLClassExpression d2)
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann