Dear All,
Our apologies that the sense of issue 336 came out garbled.
Here my formulation:
Extensions of the CRM may declare a superclass A of a class B in
"CRMbase" or another extension. It may be the case that a property p of
B also holds for the new class A. This is to be understood as the effect
of widening the scope of CRMbase to that of the new extension, which
then comprises domains in which p not only holds for B but also for A.
Taken on its own, CRMbase should not be affected by that extension of
scope, since it is not concerned with A. This construct is necessary for
an effective
modular management of ontologies, but is not possible with the current
way RDF/OWL treats it.
We need a logical theory for that and an implementation. The logical
theory must describe the scope of CRMbase and that of the extensions in
terms of logic (e.g., as sets).
Best,
Martin
--
--------------------------------------------------------------
Dr. Martin Doerr | Vox:+30(2810)391625 |
Research Director | Fax:+30(2810)391638 |
| Email: [email protected] |
|
Center for Cultural Informatics |
Information Systems Laboratory |
Institute of Computer Science |
Foundation for Research and Technology - Hellas (FORTH) |
|
N.Plastira 100, Vassilika Vouton, |
GR70013 Heraklion,Crete,Greece |
|
Web-site: http://www.ics.forth.gr/isl |
--------------------------------------------------------------
