Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
An introduction to LIFE-programming with logic, inheritance, functions, and equations
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
A Guide to the Basic Logic Dialect for Rule Interchange on the Web
IEEE Transactions on Knowledge and Data Engineering
RuleML 1.0: the overarching specification of web rules
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Design and implementation of highly modular schemas for XML: customization of RuleML in relax NG
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences
PSOA2TPTP: a reference translator for interoperating PSOA RuleML with TPTP reasoners
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
PSOA RuleML API: a tool for processing abstract and concrete syntaxes
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Grailog 1.0: graph-logic visualization of ontologies and rules
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Hi-index | 0.00 |
In F-logic and RIF, objects (frames) are defined entirely separately from function and predicate applications. In POSL and RuleML, these fundamental notions are integrated by permitting applications with optional object identifiers and, orthogonally, arguments that are positional or slotted. The resulting positional-slotted, object-applicative (psoa) terms are given a novel formalization, reducing the number of RIF terms by generalizing its positional and slotted (named-argument) terms as well as its frame terms and class memberships. Like multi-slot frames accommodate for (Web-)distributed slotted descriptions of the same object identifier (IRI), multi-tuple psoa terms (e.g., shelves) do for positional descriptions. The syntax and semantics of these integrated terms and rules over them are defined as PSOA RuleML in the style of RIF-BLD. The semantics provides a novel first-order model-theoretic foundation, blending frame slotribution, as in F-logic and RIF (as well as shelf tupribution) with integrated psoa terms, as in POSL and RuleML.