conexp.fx.core.dl

Class ELReasoner

java.lang.Object

conexp.fx.core.dl.ELReasoner

public class ELReasoner
extends Object

Constructor Summary

Constructors

Constructor and Description
ELReasoner()

Method Summary

Modifier and Type	Method and Description
static boolean	isSubsumedBy(ELConceptDescription concept1, ELConceptDescription concept2)
static boolean	isSubsumedBy(ELConceptDescription concept1, ELConceptDescription concept2, ELTBox tBox)
static boolean	isSubsumedBy(ELConceptDescription concept1, ELConceptDescription concept2, org.semanticweb.owlapi.model.OWLOntology ontology)
static boolean	isSubsumedBy(org.semanticweb.owlapi.model.OWLClassExpression concept1, org.semanticweb.owlapi.model.OWLClassExpression concept2)
static boolean	isSubsumedBy(org.semanticweb.owlapi.model.OWLClassExpression concept1, org.semanticweb.owlapi.model.OWLClassExpression concept2, org.semanticweb.owlapi.model.OWLOntology ontology)
static boolean	subsumes(ELConceptDescription concept1, ELConceptDescription concept2)
static boolean	subsumes(org.semanticweb.owlapi.model.OWLClassExpression concept1, org.semanticweb.owlapi.model.OWLClassExpression concept2)

Methods inherited from class java.lang.Object

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

Constructor Detail

ELReasoner

public ELReasoner()

Method Detail

subsumes

public static final boolean subsumes(org.semanticweb.owlapi.model.OWLClassExpression concept1,
                                     org.semanticweb.owlapi.model.OWLClassExpression concept2)

subsumes

public static final boolean subsumes(ELConceptDescription concept1,
                                     ELConceptDescription concept2)

isSubsumedBy

public static final boolean isSubsumedBy(org.semanticweb.owlapi.model.OWLClassExpression concept1,
                                         org.semanticweb.owlapi.model.OWLClassExpression concept2)

isSubsumedBy

public static final boolean isSubsumedBy(ELConceptDescription concept1,
                                         ELConceptDescription concept2)

Parameters:

concept1 -

concept2 -

Returns:

true, iff concept1 is subsumed by concept2 (w.r.t. empty TBox)

isSubsumedBy

public static final boolean isSubsumedBy(ELConceptDescription concept1,
                                         ELConceptDescription concept2,
                                         ELTBox tBox)

isSubsumedBy

public static final boolean isSubsumedBy(org.semanticweb.owlapi.model.OWLClassExpression concept1,
                                         org.semanticweb.owlapi.model.OWLClassExpression concept2,
                                         org.semanticweb.owlapi.model.OWLOntology ontology)

isSubsumedBy

public static final boolean isSubsumedBy(ELConceptDescription concept1,
                                         ELConceptDescription concept2,
                                         org.semanticweb.owlapi.model.OWLOntology ontology)