The Computer Journal
Combining Horn rules and description logics in CARIN
Artificial Intelligence
TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
The limits and possibilities of combining Description Logics and Datalog
RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
ALCPu: an integration of description logic and general rules
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
AceRules: executing rules in controlled natural language
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
The RuleML family of web rule languages
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Attempto controlled english: a knowledge representation language readable by humans and machines
Proceedings of the First international conference on Reasoning Web
A realistic architecture for the semantic web
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
The OO jDREW reference implementation of RuleML
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
A RuleML Study on Integrating Geographical and Health Information
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Geospatial-Enabled RuleML in a Study on Querying Respiratory Disease Information
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Social Semantic Rule Sharing and Querying in Wellness Communities
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Linked rules: principles for rule reuse on the web
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Defeasible Reasoning Based Argumentative Web-IDSS for Virtual Teams (VTs)
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
Datalog relaunched: simulation unification and value invention
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
RuleML representation and simulation of Fuzzy Cognitive Maps
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
Four principalWeb rule issues constitute our starting points: I1) Formal knowledge representation can act as content in its own right and/or as metadata for content. I2) Knowledge on the open Web is typically inconsistent but closed 'intranet' reasoning can exploit local consistency. I3) Scalability of reasoning calls for representation layering on top of quite inexpressive languages. I4) Rule representation should stay compatible with relevant Web standards. To address these, four corresponding essentials of Web rules have emerged: E1) Combine formal and informal knowledge in a Rule Wiki, where the formal parts can be taken as code (or as metadata) for the informal parts, and the informal parts as documentation (or as content) for the formal parts. This can be supported by tools for Controlled Natural Language: mapping a subset of, e.g., English into rules and back. E2) Represent distributed knowledge via a module construct, supporting local consistency, permitting scoped negation as failure, and reducing the search space of scoped queries. Modules are embedded into an 'Entails' element: prove whether a query is entailed by a module. E3) Develop a dual layering of assertional and terminological knowledge as well as their blends. To permit the specification of terminologies independent of assertions, the CARIN principle is adopted: a terminological predicate is not permitted in the head of a rule. E4) Differentiate the Web notion of URIs as in URLs, for access, vs. URNs, for naming. A URI can then be used: URL-like, for module import, where it is an error if dereferencing does not yield a valid knowledge document; URN-like, as an identifier, where dereferencing is not intended; or, as a name whose dereferencing can access its (partial) definition.