[Top] [All Lists]

Re: [ontolog-forum] Proceedings: "Ontology, Rules, and Logic Programming

To: <ontolog-forum@xxxxxxxxxxxxxxxx>
From: henson graves <henson.graves@xxxxxxxxxxx>
Date: Fri, 2 Aug 2013 14:50:12 -0500
Message-id: <BLU176-DS42DACE47C2976F4913E92E4510@xxxxxxx>
This post is regarding the discussion of rule languages in the mini-series,  "Ontology, Rules, and Logic Programming for Reasoning and Applications" .
Three rule-based systems, RuleML, RuleLog, and Algos, each of which contains
a representation of higher order logic, have surfaced in the Mini-series.
There are interesting comparisons to be made between them, as well as the general topic of the usefulness of higher order logic. Also there is potential discussion regarding how rule systems fit into context of knowledge representation in general.
The first two rule systems have been presented previously. I have added a third, called the Algos system. The this system is described in
http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-07-25_community-planning/Rules_for_engineering--HensonGraves_20130801a.pdf. It
was developed for use in relatively stable knowledge contexts.   The use of
a rule system within a stable domain is, of course, very different from
knowledge acquisition and theory development. The molecular unit for
reasoning in Algos is a collection of rules used to represent an application
such as the description of a molecule, or a design specification for an
automobile. A collection of rules is an axiom set (satzsystem). When
developing and using these axiom sets the objective is to enable
collaboration within a community, of humans and now machines, based on
semantic interoperability. Reasoning with an axiom set can be used to solve
application problems such as determining if a system behavior is a
consequence of the axiom set. Axiom sets can directly represent directed
graphs that occur in application descriptions. These axiom sets get combined
and use other models.  The general axiom sets that get specialized and used
in applications can be regarded as ontologies.
Look forward to discussion

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)

<Prev in Thread] Current Thread [Next in Thread>
  • Re: [ontolog-forum] Proceedings: "Ontology, Rules, and Logic Programming for Reasoning and Applications" mini-series, henson graves <=