W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2008

Assertions vs. declarations

From: Marco Colombetti <colombet@elet.polimi.it>
Date: Wed, 26 Mar 2008 18:00:13 +0100
To: <public-owl-dev@w3.org>
Message-ID: <003d01c88f62$db9ebf00$7c46fea9@lapcolombetti>
I'm kind of dissatisfied with the use of the terms "assertion" and
"declaration" in the OWL literature.


Axioms like DisjointClasses(C,D) are often called "class assertions", and
axioms like FunctionalObjectProperty(P) are called "(object) property
assertions". Unfortunately, also Abox assertions like ClassAssertion(a C)
are called "class assertion"s, and Abox assertions like
ObjectPropertyAssertion(P a b) are called (object) "property assertions".


The former type of assertions are sometimes called "declarations", but
unfortunately OWL has a different notion of declaration, like


Any suggestion on how to call axioms like DisjointClasses(C,D) and
FunctionalObjectProperty(P) without creating confusion? 


Marco Colombetti
Received on Thursday, 27 March 2008 16:36:23 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:16 UTC