From description-logic programs to multi-context systems
type: Item
instance of: scholarly article
title: From description-logic programs to multi-context systems
zbMATH Open document ID: 1362.68272
author: Luís Cruz-Filipe
author: Graça Gaspar
author: Isabel Nunes
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2017-03-20T00:00:00Z
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 6696081
zbMATH Keywords: description logics
zbMATH Keywords: logic programming
zbMATH Keywords: semantics
zbMATH Keywords: rule-based systems
zbMATH Keywords: formal translations
describes a project that uses: Racer
describes a project that uses: DLVHEX
MaRDI profile type: Publication
full work available at URL: j.jlamp.2017.01.005
OpenAlex ID: W2593163751
cites work: The Description Logic Handbook
cites work: Q3184604
cites work: Description Logics, Rules and Multi-context Systems
cites work: Q4906884
cites work: Well-founded semantics for description logic programs in the semantic web
cites work: Combining answer set programming with description logics for the semantic web
cites work: Relational Information Exchange and Aggregation in Multi-Context Systems
cites work: A Logical Semantics for Description Logic Programs
cites work: Multilanguage hierarchical logics, or: How we can do without modal logics
cites work: Evolving Bridge Rules in Evolving Multi-Context Systems
cites work: Q5282995
cites work: Q4539653
cites work: Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
cites work: MKNF Knowledge Bases in Multi-Context Systems
cites work: Reconciling description logics and rules
cites work: A logic for default reasoning
DOI: 10.1016/J.JLAMP.2017.01.005
description: scientific article; zbMATH DE number 6696081