PSOA RuleML is a rule language which introduces positionalslotted, object-applicative terms in generalized rules, permitting relation applications with optional object identifiers and positional or slotted arguments. This paper describes an open-source PSOA RuleML API, whose functionality facilitates factory-based syntactic object creation and manipulation. The API parses an XML-based concrete ...

This paper presents the open source reference implementation of RuleML based on modular XML Schema definitions and bidirectional OO jDREW interpreters written in Java. For the family of RuleML sublanguages, schema modularization and RDF rules are discussed. The central bidirectional interpreters are introduced via jDREW principles, and explained w.r.t. OO jDREW slots, types, OIDs, and extensions.

Uncertainty, like imprecision and vagueness, has gained considerable attention the last decade. To this extend we present a preliminary report on extending the Rule Markup Language (RuleML) with fuzzy set theory, in order to be able to represent and handle vague knowledge. We also provide semantics for the case of fuzzy FOL RuleML.

2015) was held in Berlin, Germany, from August 2–5. The symposium was organized by Adrian Paschke (general chair), Fariba Sadri (program cochair), Nick Bassiliades (program cochair), and Georg Gottlob program cochair). A total number of 94 papers were submitted from which 22 full papers, 1 short paper, 2 keynote papers, 3 track papers, 4 tutorial papers, 6 industry papers, 6 challenge papers, 3...

Rule-Based Data Access (RBDA) enables automated reasoning over a knowledge base (KB) as a generalized global schema for the data in local (e.g., relational or graph) databases reachable through mappings. RBDA can semantically validate, enrich, and integrate heterogeneous data sources. This paper proposes an RBDA architecture layered on Datalog RuleML, and uses it for the ∆Forest case study on t...

PSOA RuleML is a recently specified rule language combining relational and object-oriented modeling. In order to provide reasoning services for PSOA RuleML, we have implemented a reference translator, PSOA2TPTP, to map knowledge bases and queries in the PSOA RuleML presentation syntax (PSOA/PS) to the popular TPTP format, supported by many first-order logic reasoners. In particular, PSOA RuleML...

This paper contains a proposal of an abstract syntax and a model theoretic semantics for NafNegDatalog, sublanguage of RuleML [9]. The model-theoretic semantics use the partial logic ([7], [10]) to provide an interpretation and a satisfaction relation, and provide a formal meaning for RuleML knowledge bases written in the abstract syntax.

As a contribution to knowledge interoperation between Semantic Web languages, the XSLT-based translator RDF2POSL from OWL/RDF instances with subClassOf taxonomies to RuleML and POSL with order-sorted types is discussed. The RuleML and OO jDREW use case eTourPlan for FOAF/RDF-based travel recommendations is presented.

Situation Awareness involves the comprehension of the state of a collection of objects in an evolving environment. This not only includes an understanding of the objects’ characteristics but also an awareness of the significant relations that hold among the objects at any point in time. Systems for establishing situation awareness require a knowledge representation for these objects and relatio...

We present here MXSL, a subset of XSLT re-interpreted as a syntactic metalanguage for RuleML with operational semantics based on XSLT processing. This metalanguage increases the expressivity of RuleML knowledge bases and queries, with syntactic access to the complete XML tree through the XPath Data Model. The metalanguage is developed in an abstract manner, as a paradigm applicable to other KR ...