Thoughts and afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning
AI Magazine - Reports from three of the 1990 Spring symposia and eight workshops held over the past two years
Combining Horn rules and description logics in CARIN
Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
A Conjunctive Query Language for Description Logic Aboxes
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
The XML Query Language Xcerpt: Design Principles, Examples, and Semantics
Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
IEEE Intelligent Systems
The Description Logic Handbook
The Description Logic Handbook
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
Semantic and computational advantages of the safe integration of ontologies and rules
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Merging and aligning ontologies in dl-programs
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Hybrid reasoning with rules and constraints under well-founded semantics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Data & Knowledge Engineering
Practice of inductive reasoning on the semantic web: a system for semantic web mining
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
International Journal of Metadata, Semantics and Ontologies
AL-QuIn: An Onto-Relational Learning System for Semantic Web Mining
International Journal on Semantic Web & Information Systems
| Hi-index | 0.00 |
The paper presents a framework for hybrid combination of rule languages with constraint languages including but not restricted to Description-Logic-based ontology languages. It shows how reasoning in a combined language can be done by interfacing reasoners of the component languages. A prototype system based on the presented principle integrates Datalog with OWL by interfacing XSB Prolog [2] with a DIG-compliant [1] DL reasoner (e.g. Racer[17] ).