|To:||Pat Hayes <phayes@xxxxxxx>|
|From:||Ali SH <asaegyn+out@xxxxxxxxx>|
|Date:||Wed, 19 Oct 2011 11:20:04 -0400|
Dear Pat and Bijan,|
On Tue, Oct 18, 2011 at 6:52 PM, Pat Hayes <phayes@xxxxxxx> wrote:
Thank you for your discussion and clarification, it's been very helpful!
Allow me to attempt re-phrasing what's been said. In contrast to a paradigm for ontologies like Cyc, whereby one tries to model the domain as faithfully and completely in one formalism and then delegates reasoning tasks based on the analysis of this expressive representation; in this context we have more of a bottom-up, a priori engineered approach? Before you begin your representation, you partition your domain into different types of knowledge and use a variety of representation / rule languages to capture different parts of intuitions. Simplifying greatly, does this fairly capture the essence of the paradigm?
All this said, I'm still a touch flummoxed at being able to adequately and consistently distinguish an axiom from a rule. For example, the standard inheritance / subclass relation of:
is supported by virtually all DL's. It seems like it could be a rule to me. I mean, Pellet or Racer would be able to use the class structure in an OWL-DL ontology to tell me that the properties of Animals apply to Dogs.
[PH] So, now, let us switch back to logical terminology, and I will put scare quotes around the earlier usages. Are 'rules' axioms? Yes, pretty much, if we are talking baout the Horn-clause style of rule; although there are 'rule' languages which allow one to say things that cannot be said in normal logics, eg default assumptions, negation-by-failure, closed-world presumptions, etc..
[BP] No as true anymore [re inference rules]. "Consequence" based reasoning is becoming more popular esp. in restricted fragments such as EL, e.g.,
Given these two statements, and putting aside the sociological issues for a moment, in this case, one can determine whether something is a "rule" really only in the context of the expressivity of a particular representation language? Roughly, anything that can't be represented in the formalism is considered a rule? I.e. say I want to represent a fragment of law, I can only decide what is a rule by first deciding which formalism and reasoner I'm using, then anything that couldn't be expressed in said language is a candidate for a rule?
In summary, what one means by a rule is wholly dependent on what representation language one deploys?
Other people I've spoken to suggest that there is fundamentally something distinct about the notion of a rule from what should be contained in an ontology, which seems like a different issue altogether? They suggest that "concepts and rules" should be treated separately. The description provided by Pat seem more to do with engineering, while those in the previous sentences hinge on a particular interpretation of ontology.
_________________________________________________________________ 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] Ontologies vs Theories / Axioms vs Rules, Bijan Parsia|
|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, Bijan Parsia|
|Indexes:||[Date] [Thread] [Top] [All Lists]|