From description-logic programs to multi-context systems
From MaRDI portal
Publication:516031
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
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Semantics in the theory of computing (68Q55) Logic programming (68N17)
Uses Software
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