From description-logic programs to multi-context systems
DOI10.1016/J.JLAMP.2017.01.005zbMATH Open1362.68272OpenAlexW2593163751MaRDI QIDQ516031FDOQ516031
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
Recommendations
- Description logics, rules and multi-context systems
- Combining answer set programming with description logics for the semantic web
- A logical semantics for description logic programs
- Realizing Default Logic over Description Logic Knowledge Bases
- Well-founded semantics for description logic programs in the semantic web
Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)
Cites Work
- Title not available (Why is that?)
- Combining answer set programming with description logics for the semantic web
- The Description Logic Handbook
- Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
- Title not available (Why is that?)
- Reconciling description logics and rules
- Multilanguage hierarchical logics, or: How we can do without modal logics
- A logic for default reasoning
- Well-founded semantics for description logic programs in 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
- Relational Information Exchange and Aggregation in Multi-Context Systems
- Title not available (Why is that?)
- A Logical Semantics for Description Logic Programs
- Title not available (Why is that?)
Cited In (2)
Uses Software
This page was built for publication: From description-logic programs to multi-context systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q516031)
