Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
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
Prolog (3rd ed.): programming for artificial intelligence
Prolog (3rd ed.): programming for artificial intelligence
The Handbook of Applied Expert Systems
The Handbook of Applied Expert Systems
Artificial Intelligence: A Guide to Intelligent Systems
Artificial Intelligence: A Guide to Intelligent Systems
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Handbook of data mining and knowledge discovery
Handbook of data mining and knowledge discovery
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Expert Systems: Principles and Programming
Expert Systems: Principles and Programming
Logical Foundations for Rule-Based Systems (Studies in Computational Intelligence) (Studies in Computational Intelligence)
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Any-World Access to OWL from Prolog
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
ELP: Tractable Rules for OWL 2
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Bridging the gap between OWL and relational databases
Web Semantics: Science, Services and Agents on the World Wide Web
Handbook of Knowledge Representation
Handbook of Knowledge Representation
Integrating description logics and action formalisms: first results
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Foundations of Semantic Web Technologies
Foundations of Semantic Web Technologies
A Novel Architecture for Situation Awareness Systems
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
Putting abox updates into action
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
The HeKatE methodology. Hybrid engineering of intelligent systems
International Journal of Applied Mathematics and Computer Science - Computational Intelligence in Modern Control Systems
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Semantic web architecture: stack or two towers?
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Hi-index | 0.00 |
The current challenge of the Semantic Web is the development of an expressive yet effective rule language. This paper presents an integration proposal for Description Logics (DL) and Attributive Logics (ALSV) is presented. These two formalisms stem from fields of Knowledge Representation and Artificial Intelligence. However, they are based on different design goals and therefore provide different description and reasoning capabilities. ALSV is the foundation of XTT2, an expressive language for rule-based systems. DL provide formulation for expressive ontology languages such as OWL2. An important research direction is the development of rule languages that can be integrated with ontologies. The contribution of the paper consists in introducing a possible transition from ALSV to DL. This opens up possibilities of using XTT2, a well-founded rule-based system modelling rule language, to improve the design of Semantic Web rules.