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

[apologies - I gave the wrong action number in the previous message ]

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 06:12:25 UTC