Copyright 2002 Fourthought Inc, USA. See http://4suite.org/COPYRIGHT for license and copyright information
Classes:
|
Globals:
|
http://www.w3.org/TR/rdf-mt/#RDFRules (7.3 RDFS Entailment Rules) OWL usage of rdfs:domain, rdfs:range, and Extensional Entailment Rules *could* provide some optimizations via inference, when evaluating traversal expressions, they could also implement *some* RDFS entailment rules by providing additional checks when evaluating traversals.