RuleLog: Difference between revisions
Ontolog Forum
imported>PeterYim (initialized Last updated at: 2013-06-10 21:24:06 By user: PeterYim) |
(No difference)
|
Latest revision as of 07:26, 14 December 2015
RuleLog
Rulelog is the logic underlying knowledge representation languages such as FLORA-2 and SILK. It combines much of the latest work in logic programming, non-monotonic reasoning, business rules, and the Semantic Web. It is designed to be appropriately expressive for supporting knowledge representation in complex domains, such as sciences and law, and yet to be efficiently implementable. This document provides a formal account of the syntax and semantics of Rulelog.
See: http://ruleml.org/rif/rulelog/spec/Rulelog.html