W3C home > Mailing lists > Public > semantic-web@w3.org > January 2006

How many axioms?

From: Gong Cheng <gcheng@seu.edu.cn>
Date: Fri, 6 Jan 2006 14:30:11 +0800
To: "Semantic Web W3C" <semantic-web@w3c.org>
Message-ID: <E1Eul7P-0007Jg-QY@lisa.w3.org>

Hi all,

I was confused about the axioms in OWL.

For example,
supposing exp:foo, exp:bar1 and exp:bar2 were three OWL class names, and there were three triples:

exp:foo rdf:type owl:Class
exp:foo rdfs:subClassOf exp:bar1
exp:foo rdfs:subClassOf exp:bar2

so how many OWL axioms are there in these two triples (i.e., how many OWL axioms can be transformed to these triples)?

And my opinion:
Answer 1: two axioms.
The first two triples indicates:
axiom ::= 'Class(' classID  ['Deprecated'] modality { annotation } { description } ')'
and the last triple indicates:
axiom ::= 'SubClassOf(' description description ')'
(The last two triples can exchange)

Answer 2: only one axiom, i.e.,
axiom ::= 'Class(' classID  ['Deprecated'] modality { annotation } { description } ')'

Actually, the triple involving rdfs:subClassOf seems can be transformed to part of either axiom. And if Answer 2 was right, why we still need axiom ::= 'SubClassOf(' description description ')'?

Thanks in advance!

Regards,

Gong Cheng

-------------------------------------------------------------
Gong Cheng
Department of Computer Science and Engineering
Southeast University, Nanjing, P.R.China
Phone:        +86-(0)25-83793235
Fax:          +86-(0)25-83794838
E-mail:       gcheng@seu.edu.cn
Address:      Department of Computer Science and Engineering
              Southeast University
              Nanjing 210096, P.R.China
-------------------------------------------------------------
Received on Friday, 6 January 2006 06:30:35 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:44:55 UTC