conexp.fx.core.dl

Class ELConceptInclusion

java.lang.Object

conexp.fx.core.dl.ELConceptInclusion

public class ELConceptInclusion
extends Object

Constructor Summary

Constructors

Constructor and Description
ELConceptInclusion(ELConceptDescription subsumee, ELConceptDescription subsumer)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
Signature	getSignature()
ELConceptDescription	getSubsumee()
ELConceptDescription	getSubsumer()
int	hashCode()
boolean	isTautological()
static ELConceptInclusion	parse(String subsumeeExpression, String subsumerExpression)
org.semanticweb.owlapi.model.OWLSubClassOfAxiom	toOWLSubClassOfAxiom()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ELConceptInclusion

public ELConceptInclusion(ELConceptDescription subsumee,
                          ELConceptDescription subsumer)

Method Detail

parse

public static final ELConceptInclusion parse(String subsumeeExpression,
                                             String subsumerExpression)

getSignature

public final Signature getSignature()

getSubsumee

public final ELConceptDescription getSubsumee()

getSubsumer

public final ELConceptDescription getSubsumer()

isTautological

public final boolean isTautological()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

toOWLSubClassOfAxiom

public org.semanticweb.owlapi.model.OWLSubClassOfAxiom toOWLSubClassOfAxiom()