Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Combining Horn rules and description logics in CARIN
Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
IEEE Intelligent Systems
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
A Semantic Web Primer
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
WWW '05 Proceedings of the 14th international conference on World Wide Web
Position paper: a comparison of two modelling paradigms in the Semantic Web
Proceedings of the 15th international conference on World Wide Web
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
A Rule-Based Object-Oriented OWL Reasoner
IEEE Transactions on Knowledge and Data Engineering
Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Towards a Knowledge-Based Framework for Agents Interacting in the Semantic Web
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Web Semantics: Science, Services and Agents on the World Wide Web
DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet
Web Semantics: Science, Services and Agents on the World Wide Web
ALCPu: an integration of description logic and general rules
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
A Guide to the Basic Logic Dialect for Rule Interchange on the Web
IEEE Transactions on Knowledge and Data Engineering
A contract agreement policy-based workflow methodology for agents interacting in the semantic web
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Data & Knowledge Engineering
The RuleML family of web rule languages
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic 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
Prova: rule-based java scripting for distributed web applications
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Hi-index | 0.00 |
This tutorial will discuss about issues, technologies and tools that concern the way that the Semantic Web affects knowledge and information interchange among intelligent agents in multi-agent systems, as well as reasoning interoperability. First, the tutorial will discuss how semantic web rules and ontologies interact with each other in order to be used as the agent's internal knowledge base for environment awareness and decision making. Then, interoperability between reasoning systems for agents will be discussed. The issues involved in all the previous discussion will be exemplified using actual implemented tools for semantic web reasoning in multi-agents systems.