W3C home > Mailing lists > Public > public-owl-wg@w3.org > March 2008

"feature at a time" semantics (ACTION-86)

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Tue, 4 Mar 2008 00:54:58 -0500
Message-Id: <7FA45A19-CE9C-40C6-AA04-4BF258E90A24@gmail.com>
To: "Web Ontology Language ((OWL)) Working Group WG" <public-owl-wg@w3.org>

I had an action to explain what I meant by "feature at a time"  
semantics. By this I mean to take a very simple fragment of OWL  
reasoning over which can be implemented in a fairly simple program  
(in say, java, or a simple rule system). Then, add features one at a  
time,  each separately against the simple language, showing how to  
extend the program to reason over them correctly. So this is a sort  
of operational definition, not for the full language, but for a set  
of simple languages which demonstrate each feature of OWL separately.

I don't know how feasible it is, but it seems similar to the usual  
(perhaps unlearned) approach that people take when try to make  
"practical" systems, and might realistically serve who say they use  
OWL Full better than the current model theoretic semantics.

-Alan
Received on Tuesday, 4 March 2008 05:55:09 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 4 March 2008 05:55:10 GMT