RuleML 1.0: The Overarching Specification of Web Rules

Boley, Harold; Paschke, Adrian; Shafiq, Omair

doi:10.1007/978-3-642-16289-3_15

Cited by 69 publications

(37 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Figure 7 depicts this model. However, regarding rules, things are a little more complicated because they are encoded in a language that remains to be defined, for example from an extension of RuleML [3]. Indeed, for the design of the code of these rules, knowledge must include from not only geographic objects and the relationships between them, but also ontologies (especially for the types of objects), the names of places and mathematical models as shown in Figure 8.…”

Section: F Outline Of Modelmentioning

confidence: 99%

An Introduction to Geographic Rules

Laurini¹,

Servigne²,

Favetta³

2016

International Conferences on Distributed Multimedia Systems

View full text Add to dashboard Cite

-As business rules are very common in business information systems, it is fundamental to analyze geographic rules in order to include them into geographic knowledge systems. The goal of this paper is, starting from examples taken overall from urban and environmental planning, to examine geographic rule semantics, and in particular to model space by combining logic and computational geometry. They can come from laws, physical laws, socio-economic considerations, from best practices, or from data mining. By defining new concepts such as metarules, superseded rules and jurisdictions, a conceptual model is proposed.

show abstract

Section: F Outline Of Modelmentioning

confidence: 99%

An Introduction to Geographic Rules

Laurini¹,

Servigne²,

Favetta³

2016

International Conferences on Distributed Multimedia Systems

View full text Add to dashboard Cite

show abstract

“…Another requirement is that ontologies should be machine readable yet easily understood by humans. Ontology languages and tools should be easy to learn for domain experts yet unambiguous and powerful [49] [50] [51]. Even though knowledge models are easily represented using certain languages such as UML, a model is an ontology only if it is adopted by experts and is also machine readable.…”

Section: The Need For Ontologiesmentioning

confidence: 99%

Towards an Ontology for Autonomous Robots

Paull

Séverac

Raffo

et al. 2012

2012 IEEE/RSJ International Conference on Intelligent Robots and Systems

Self Cite

View full text Add to dashboard Cite

Robots and Systems (IROS), pp. 1359-1364, 2012 Towards an ontology for autonomous robots Paull, Liam; Severac, Gaetan; Raffo, Guilherme V.; Angel, Julian Mauricio; Boley, Harold; Durst, Phillip J.; Gray, Wendell; Habib, Maki; Nguyen, Bao; Ragavan, S. Veera; Saeedi G., Sajad; Sanz, Ricardo; Seto, Mae; Stefanovski, Aleksandar; Trentini, Michael; Li, Howard Abstract-The IEEE RAS Ontologies for Robotics and Automation Working Group is dedicated to developing a methodology for knowledge representation and reasoning in robotics and automation. As part of this working group, the Autonomous Robots sub-group is tasked with developing ontology modules for autonomous robots. This paper describes the work in progress on the development of ontologies for autonomous systems. For autonomous systems, the focus is on the cooperation, coordination, and communication of multiple unmanned aerial vehicles (UAVs), unmanned ground vehicles (UGVs), and autonomous underwater vehicles (AUVs). At the global mission level, the system ontologies must be able to model entities and relationship of multiple autonomous systems. At the individual system level, the ontologies must model the decision-making ability, control strategies, sensing abilities, map building, environment perception, motion planning, communication, autonomous behaviors and so on. The ontologies serve as a framework for working out concepts of employment with multiple vehicles for a variety of operational scenarios with emphasis on collaborative and cooperative missions.

show abstract

“…We adopt several name changes already incorporated into the RuleML 1.0 XSD schemas [BPS10]. Beyond Derivation RuleML, we consider Relax NG versions of all of Deliberation RuleML, including higher order logic and modal logic, as well as of Reaction RuleML, including actions and events.…”

Section: Implementation In Ruleml 10mentioning

confidence: 99%

Design and Implementation of Highly Modular Schemas for XML: Customization of RuleML in Relax NG

Athan¹,

Boley

2011

Rule-Based Modeling and Computing on the Semantic Web

Self Cite

View full text Add to dashboard Cite

Abstract. We present a re-conceptualization and re-engineering of the non-SWSL portion of the Derivation Rules subfamily of RuleML in the Relax NG Compact (RNC) schema syntax. The benefits arising from RNC schemas include decreased positional sensitivity and greater flexibility in modularization (from fine-grained modular to monolithic), as well as unification of human-readable ("Content Models") and machinereadable (XSD/XML) versions. We introduce a Relax NG schema design pattern, enforced by RNC meta-schemas, that guarantees monotonicity (grammatical extension implies syntactic containment) when any of a large number of small expansion modules are merged. The original fifteen Derivation RuleML sublanguages are thus embedded in a syntactic lattice with hundreds of thousands of languages with semantics inherited from the top language. The original RuleML sublanguages are available through links, and customized languages are available through a GUI web-app. The GUI serves as the front end to a PHP-specified parameterized schema that takes a selection of customization options and returns a schema driver file. These options are encoded to facilitate determination of syntactic containment between any pair of languages. As in earlier (Derivation) RuleML language hierarchies, (logical) expressivity forms the backbone of the language lattice. The (parameterized) RNC schema serves as a pivot format from which XSD schemas, statisticallyrandom XML test instances, monolithic simplified RNC content models, and HTML documentation are automatically generated. The RNC-based re-engineering of Derivation RuleML has already led to the discovery and patching of errata in RuleML versions 0.91 and 1.0, as well as to suggested enhancements of version 1.0 and a newly conceived version 1.1. The specifications of the RNC-based RuleML schemas are maintained at http://wiki.ruleml.org/index.php/Relax_NG.

show abstract

RuleML 1.0: The Overarching Specification of Web Rules

Cited by 69 publications

References 12 publications

An Introduction to Geographic Rules

An Introduction to Geographic Rules

Towards an Ontology for Autonomous Robots

Design and Implementation of Highly Modular Schemas for XML: Customization of RuleML in Relax NG

Contact Info

Product

Resources

About