Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
Automated deduction by theory resolution
Journal of Automated Reasoning
A Prolog technology theorem prover: implementation by an extended Prolog computer
Journal of Automated Reasoning
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Continuous queries over append-only databases
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
Monitoring XML data on the Web
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
From Logic to Logic Programming
From Logic to Logic Programming
Continuous queries over data streams
ACM SIGMOD Record
Selected papers from the Non-Monotonic Extensions of Logic Programming
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
Attempto Controlled English - Not Just Another Logic Specification Language
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
SATCHMO: A Theorem Prover Implemented in Prolog
Proceedings of the 9th International Conference on Automated Deduction
Monitoring the dynamic web to respond to continuous queries
WWW '03 Proceedings of the 12th international conference on World Wide Web
The XML Stream Query Processor SPEX
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
Composite event queries for reactivity on the web
WWW '05 Special interest tracks and posters of the 14th international conference on World Wide Web
Reactivity on the web: paradigms and applications of the language XChange
Proceedings of the 2005 ACM symposium on Applied computing
Extended RDF as a semantic foundation of rule markup languages
Journal of Artificial Intelligence Research
Rule-based composite event queries: the language XChangeEQ and its semantics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Realizing business processes with ECA rules: benefits, challenges, limits
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Twelve theses on reactive rules for the web
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
| Hi-index | 0.00 |
This articles discusses the logic, or logic-based, languages required for a full deployment of the Semantic Web. It presents ten theses addressing the kinds of logic languages needed, data and data processing, semantics, and engineering and rendering issues. The views reported about in this article have been presented at the W3C Workshop on Rule Languages for Interoperability 27-28 April 2005, Washington, D.C., USA, http://www.w3.org/2004/12/rules-ws/.