- From: Yuzhong Qu <yzqu@seu.edu.cn>
- Date: Sun, 30 Mar 2003 22:19:15 +0800
- To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
- Cc: <www-rdf-logic@w3.org>
8.2 OWL DL [ In OWL Reference] says: a.. In OWL DL anonymous classes are only allowed to occur in the following places in class axioms: a.. within the range value of a rdfs:subclass, owl:equivalentClass or owl:disjointWith statement b.. as the domain value of a owl:equivalentClass or owl:disjointWith statement This implies that the anonymous class cannot be the domain value of a owl:subClassOf statement. But, 2.3.2.1. OWL DL Class Axioms [ In OWL Abstract Syntax and Semantics] says: axiom ::= 'DisjointClasses(' description { description } ')' | 'EquivalentClasses(' description { description } ')' | 'SubClassOf(' description description ')' This means the anonymous class could be the domain value of a owl:subClassOf statement. Does the anonymous class is allowed to occur as domain value of a owl:subClassOf statement in OWL DL? Yuzhong Qu
Received on Sunday, 30 March 2003 22:45:08 UTC