Publication
Description logics, rules and multi‐context systems
| dc.contributor.author | L. Cruz‐Filipe, l. | |
| dc.contributor.author | Henriques, R. | |
| dc.contributor.author | Nunes, I. | |
| dc.date.accessioned | 2024-09-25T11:10:33Z | |
| dc.date.available | 2024-09-25T11:10:33Z | |
| dc.date.issued | 2013 | |
| dc.description.abstract | The combination of rules and ontologies has been a fertile topic of research in the last years, with the proposal of several different systems that achieve this goal. In this paper, we look at two of these formalisms, Mdl-programs and multi-context systems, which address different aspects of this combination, and include different, incomparable programming constructs. Despite this, we show that every Mdl-program can be transformed in a multi-context system, and this transformation relates the different semantics for each paradigm in a natural way. As an application, we show how a set of design patterns for multi-context systems can be obtained from previous work on Mdl-programs. | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.citation | Cruz-Filipe, L., Henriques, R., Nunes, I. (2013). Description Logics, Rules and Multi-context Systems. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds) Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2013. Lecture Notes in Computer Science, vol 8312. Springer, Berlin, Heidelberg. | pt_PT |
| dc.identifier.doi | https://doi.org/10.1007/978-3-642-45221-5_18 | pt_PT |
| dc.identifier.isbn | 978-3-642-45220-8 | |
| dc.identifier.uri | http://hdl.handle.net/10400.26/52192 | |
| dc.language.iso | eng | pt_PT |
| dc.publisher | Springer | pt_PT |
| dc.relation.publisherversion | https://link.springer.com/chapter/10.1007/978-3-642-45221-5_18 | pt_PT |
| dc.title | Description logics, rules and multi‐context systems | pt_PT |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.citation.endPage | 257 | pt_PT |
| oaire.citation.startPage | 243 | pt_PT |
| oaire.citation.title | Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2013. Lecture Notes in Computer Science | pt_PT |
| oaire.citation.volume | 8312 | pt_PT |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | article | pt_PT |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- Description logics, rules and multi‐context systems.pdf
- Size:
- 71.26 KB
- Format:
- Adobe Portable Document Format
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.85 KB
- Format:
- Item-specific license agreed upon to submission
- Description: