From description-logic programs to multi-context systems

DOI10.1016/J.JLAMP.2017.01.005zbMath1362.68272OpenAlexW2593163751MaRDI QIDQ516031

Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes

Publication date: 20 March 2017

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2017.01.005

zbMATH Keywords

semanticslogic programmingdescription logicsrule-based systemsformal translations

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Uses Software

• Unnamed Item
• Racer

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for default reasoning
• Multilanguage hierarchical logics, or: How we can do without modal logics
• Combining answer set programming with description logics for the semantic web
• Description Logics, Rules and Multi-context Systems
• MKNF Knowledge Bases in Multi-Context Systems
• Evolving Bridge Rules in Evolving Multi-Context Systems
• Well-founded semantics for description logic programs in the semantic web
• Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
• Relational Information Exchange and Aggregation in Multi-Context Systems
• Reconciling description logics and rules
• A Logical Semantics for Description Logic Programs
• The Description Logic Handbook

This page was built for publication: From description-logic programs to multi-context systems