Gerhard Austaller wrote:
..
Thx for answer. OK. Now we are getting to the point. What I really want
to understand is where the difference is between rule "extensions" to
ontologies and rules from expert systems. What I'd like to is create new
individuals ("add a fact") in my ontology by using a rule language (like
SWRL). Of course this new individual my trigger other rules and so on
until a stable state. I'd like to program declarative as I am used to
with e.g. JESS.
I am not sure I can add more than what I said already. With rule
extensions to DL languages, the rule system has to take into account the
semantics of DL descriptions. To create new instances in SWRL, I think
you need to have a "built-in" that does it. Creating new instances is
not part of the language.
Making sense of DL restrictions (e.g., class expressions) typically
requires the use of DL reasoner, which is difficult to simulate using
something like Jess.
But in principle there is no obstacle to merge the power of ontologies
(based on DL) and expert systems?
No, that's what SWRL and other semantic web rule languages are about.
Ontologies can be defined using DL language like OWL or frame-based
language (e.g., Protege frame). Protege frame also makes closed-world
assumption. Thus, JessTab works well integrating frame-based Protege
ontologies with Jess.
But the documentation of JessTab says that one OWL constraints and
expressions are not supported. So restrictions are not lost?
Not sure what you mean. With OWL, JessTab doesn't take into account OWL
constrains and expressions, but nothing is "lost."
Samson
--
Samson Tu email: [EMAIL PROTECTED]
Senior Research Scientist web: www.stanford.edu/~swt/
Stanford Medical Informatics phone: 1-650-725-3391
Stanford University fax: 1-650-725-7944
--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
in the BODY of a message to [EMAIL PROTECTED], NOT to the list
(use your own address!) List problems? Notify [EMAIL PROTECTED]
--------------------------------------------------------------------
