org.dllearner.reasoning

Class ExistentialRestrictionMaterialization

java.lang.Object

org.dllearner.reasoning.ExistentialRestrictionMaterialization

public class ExistentialRestrictionMaterialization
extends Object

Materialize the existential restrictions, i.e. for all instances x_i that belong to a concept \exists.r.C, we add facts r(x_i, _:newID), C(_:newID), and this recursively.

Author:

Lorenz Buehmann

Constructor Summary

Constructors

Constructor and Description
ExistentialRestrictionMaterialization(org.semanticweb.owlapi.model.OWLOntology ontology)

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	materialize(org.semanticweb.owlapi.model.OWLClass cls)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	materialize(String classIRI)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExistentialRestrictionMaterialization

public ExistentialRestrictionMaterialization(org.semanticweb.owlapi.model.OWLOntology ontology)

Method Detail

materialize

public Set<org.semanticweb.owlapi.model.OWLClassExpression> materialize(String classIRI)

materialize

public Set<org.semanticweb.owlapi.model.OWLClassExpression> materialize(org.semanticweb.owlapi.model.OWLClass cls)

main

public static void main(String[] args)
                 throws Exception

Throws:

Exception