org.semanticweb.ruqar.owl

Class OWL2RLMetaRules

java.lang.Object

org.semanticweb.ruqar.owl.OWL2RLMetaRules

public class OWL2RLMetaRules
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
OWL2RLMetaRules()

Method Summary

Methods

Modifier and Type	Method and Description
java.util.List<Rule>	getRulesFromTable4() Rules from Table 4 defined in W3C Recommendation http://www.w3.org/TR/owl2-profiles/#OWL_2_RL The Semantics of Equality.

Methods inherited from class java.lang.Object

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

Constructor Detail

OWL2RLMetaRules

public OWL2RLMetaRules()

Method Detail

getRulesFromTable4

public java.util.List<Rule> getRulesFromTable4()

Rules from Table 4 defined in W3C Recommendation http://www.w3.org/TR/owl2-profiles/#OWL_2_RL The Semantics of Equality. "Table 4 axiomatizes the semantics of equality. In particular, it defines the equality relation owl:sameAs as being reflexive, symmetric, and transitive, and it axiomatizes the standard replacement properties of equality for it."

Returns: