rich_holygoat: SWCLOS: A Semantic Web Processor on Common Lisp Object System
danja: F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt, A. Schaerf
danja: "We show that the epistemic operator formalizes procedural rules, as provided in many knowledge representation systems, and enables sophisticated query formulation, including various forms of closed-world reasoning."
danja: "We show that the epistemic operator formalizes procedural rules, as provided in many knowledge representation systems, and enables sophisticated query formulation, including various forms of closed-world reasoning."