ISSUE-54 (DL-Safeness): What level of safeness in BLD/OWL-Dl combinations is required. [OWL/RDF Compatibility]

ISSUE-54 (DL-Safeness): What level of safeness in BLD/OWL-Dl combinations is required. [OWL/RDF Compatibility]

http://www.w3.org/2005/rules/wg/track/issues/

Raised by: Christopher Welty
On product: OWL/RDF Compatibility

Section 3.1.1 (Safeness Restrictions) disallows disjunction and does not restrict  variables to specific DL domains of interpretation (classes, properties, and individuals).  Should disjunction be disallowed?  Should variables be restricted?

Received on Sunday, 20 April 2008 04:12:01 UTC