|To:||Christopher Menzel <cmenzel@xxxxxxxx>|
|From:||Ali SH <asaegyn+out@xxxxxxxxx>|
|Date:||Tue, 18 Oct 2011 16:41:17 -0400|
On Tue, Oct 18, 2011 at 4:16 PM, Christopher Menzel <cmenzel@xxxxxxxx> wrote:
Noted, but not acknowledged in my initial email response :D.
In the LKIF paper, they have statements such as:
This is well explained in Deliverable D1.1, where LKIF itself is discussed: for more complex or other types of knowledge than terminological knowledge we also need rule formalisms. (page 3 in )
There are also several rule-based approaches that try to capture norms in rules with notions like violation or duty as antecedent or conclusion. The rule itself captures the meaning of the norm, so that the confusion between norm and normative statementis again retained. (page 35 in )
Which suggests to me that they aren't referring to inference rules. But I have no clue how to reliably distinguish a rule from an axiom. In  http://www.estrellaproject.org/doc/D1.1-LKIF-Specification.pdf, they have a section describing their rules, which seems to me to be a mix of axioms and inference rules.
For example, these seem like axioms to me (page 74 in ):
That's what I thought.
I have a feeling this question has been tread before.... ;)
This is where I guess the analogy with traditional software breaks down. Gmail compiled and deployed seems to me to be (c). Though for ontologies, the line between (b) and (c) are a bit unclear to me. I don't know how someone (i.e. human) would be able to actually access / generate (b) without some reasoner (their mind?).
 Joost Breuker, Rinke Hoekstra, Alexander Boer, Kasper van den Berg, Rossella Rubino, Giovanni Sartor, Monica Palmirani, Adam Wyner, and Trevor Bench-Capon. OWL ontology of basic legal concepts (LKIF-Core). Deliverable 1.4, Estrella, 2007.
 Alexander Boer, Marcello Di Bello, Kasper van den Ber, Tom Gordon, Andr´as F¨orh´ecz, R´eka Vas. Specification of the Legal Knowledge Interchange Format. Deliverable 1.1, Estrella, 2007
_________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/oor-forum/ Subscribe: mailto:oor-forum-join@xxxxxxxxxxxxxxxx Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/oor-forum/ Shared Files: http://ontolog.cim3.net/file/work/OOR/ Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OpenOntologyRepository (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [oor-forum] Ontologies vs Theories / Axioms vs Rules, Christopher Menzel|
|Next by Date:||Re: [oor-forum] OOR Team Conference Call - Tue 2011.10.04, terry.longstreth|
|Previous by Thread:||Re: [oor-forum] Ontologies vs Theories / Axioms vs Rules, Christopher Menzel|
|Next by Thread:||Re: [oor-forum] Ontologies vs Theories / Axioms vs Rules, Pat Hayes|
|Indexes:||[Date] [Thread] [Top] [All Lists]|