Towards the Event Calculus in the Semantic Web (「セマンティックWeb」特集及び一般)

概要

論文の詳細を見る
This paper will investigate a version of the Event Calculus, which is proposed by Robert Kowalski and Friba Sadri in 80's [?], working in the Semantic Web, by expanding the framework "Description Logic/OWL" [8], [11] of the Semantic Web [4], called OWL(EC). In OWL(EC), new ontology such as events, propositions, negation, implication, conjunction, disjunction, falsum are introduced. This means that within OWL, without RuleML [5] and other rule markup languages, OWL(EC) describes rules. In fact, in OWL(EC), the axioms of the Event Calculus are described. Although the Event Calculus is a non-monotonic logical system, I will avoid this problem by the interpreters of OWL(EC), which interpret a OWL(EC) document as a Prolog program. Furthermore, I will propose a markup language of the Event Calculus, ECML, which can be converted to OWL(EC) by an XSLT[7]. Lastly I will discuss an abstract browser which can interpret XHTMLs with OWL and ECML, and queries to them.
一般社団法人電子情報通信学会の論文
2004-07-22