Filters








126,161 Hits in 5.8 sec

Towards Automated Reasoning on ORM Schemes [chapter]

Mustafa Jarrar
<span title="">2007</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Our formalization in this paper is structured as 29 formalization rules, that map all ORM primitives and constraints into DLR, and 2 exceptions of complex cases.  ...  This would enable automated reasoning on the formal properties of ORM diagrams, such as detecting constraint contradictions and implications.  ...  A description logic is a decidable fragment of first-order logic, associated with a set of automatic reasoning procedures.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-75563-0_14">doi:10.1007/978-3-540-75563-0_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/btp6wqcz2fgmfh7j3fe3r7d5oa">fatcat:btp6wqcz2fgmfh7j3fe3r7d5oa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120314153136/http://www.jarrar.info/publications/ORM-DLR-ER2007.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/98/83/98838e5da51b0110c270cb49a3db2b0866e2bf50.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-75563-0_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Modal Perspective on Path Constraints

N. Alechina
<span title="2003-12-01">2003</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/crzmi3qeiramtlvcrfycib3qg4" style="color: black;">Journal of Logic and Computation</a> </i> &nbsp;
Several classes of path constraints for semistructured data are analysed and a number of decidability and complexity results proved for such constraints.  ...  This modal logic perspective sheds additional light on the reasons for previously known decidability and complexity results.  ...  Acknowledgements We are grateful to Ulrike Sattler and the anonymous referees for useful comments. We are especially grateful to Philippe Schnoebelen, who gave us the proof for Lemma 5.1.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/logcom/13.6.939">doi:10.1093/logcom/13.6.939</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hjkl4vpesne4npdubj7wcgu2ii">fatcat:hjkl4vpesne4npdubj7wcgu2ii</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829231431/https://staff.fnwi.uva.nl/m.derijke/wp-content/papercite-data/pdf/alechina-modal-2003.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/07/0b/070bc756a460b7a5991a2bcc3919cebf8dc61f72.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/logcom/13.6.939"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

Expressive number restrictions in description logics

F Baader
<span title="1999-06-01">1999</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/crzmi3qeiramtlvcrfycib3qg4" style="color: black;">Journal of Logic and Computation</a> </i> &nbsp;
We will present two decidability results (for the basic logic that extends ALC by number restrictions on roles with composition, and for one extension of this logic), and three undecidability results for  ...  In the present paper, we increase the expressive power of Description Logics by allowing for more complex roles in number restrictions.  ...  It was shown that Description Logics can be extended with complex roles in value restrictions without losing decidability of the relevant inference problems [1, 22, 23, 7, 6, 8] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/logcom/9.3.319">doi:10.1093/logcom/9.3.319</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/k4eqpi3rdjfs3of3ji6ayzeigq">fatcat:k4eqpi3rdjfs3of3ji6ayzeigq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705115527/http://www.cs.man.ac.uk/~ezolin/dl/bib/Expressive_number_restrictions_in_DLs_(JLC_1999).pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/34/53/345380c7150ff150ca0bd9e6d3182240d973976f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/logcom/9.3.319"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

Knowledge to Manage the Knowledge Society: The Concept of Theoretical Incompleteness

Gianfranco Minati
<span title="2016-07-15">2016</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/v6wkcofcp5ea5olg3r652yfvmi" style="color: black;">Systems</a> </i> &nbsp;
It is to change constraints and provide perturbations to be processed by the system to orient and not to decide.  ...  upon the relations with the outside world and on learning processes by interacting with other systems.  ...  The property of incompleteness should be considered in combination with one or more levels of description and scales.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/systems4030026">doi:10.3390/systems4030026</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5xklbrdigvgv7ixh4fjwpzlkme">fatcat:5xklbrdigvgv7ixh4fjwpzlkme</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180725150101/https://res.mdpi.com/def50200046db016a8d3f0449c79be1ecc37109991014bc91475dc96e7143c86f003a29d2ba71b7e7d2be3b8cb81840328f1e9f8ab00a77050323c7a4993cd220602b156effbd080245d22a396d413331e9e5b0e79fd10aed66934f6221c4aaa8046b2c212ce8afcf768c23c59c17ce9702c8dc0f7c9e7781bc4d90af803ed5efb60a8b7591c40163a948eba25559fde?filename=&amp;attachment=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/32/40/324093c48a679dd6e5d5dc4ea1129c17beed46ae.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/systems4030026"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

On Expressive Description Logics with Composition of Roles in Number Restrictions [chapter]

Fabio Grandi
<span title="">2002</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Description Logics are knowledge representation formalisms which have been used in a wide range of application domains.  ...  Owing to their appealing expressiveness, we consider in this paper extensions of the well-known concept language ALC allowing for number restrictions on complex role expressions.  ...  R I (i, k) ∧ S I (k, j)} Preliminaries on Description Logics Description Logics expressiveness is based on the definition of complex concepts and roles, which can be built with the help of available  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-36078-6_14">doi:10.1007/3-540-36078-6_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jonh52372bcolfaix36ijskk4e">fatcat:jonh52372bcolfaix36ijskk4e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130728164736/http://www.cs.man.ac.uk/~ezolin/dl/bib/Expressive_Description_Logics_with_composition_of_roles_in_number_restrictions_(TR_2002).pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/af/00/af00fe0ffd38507ecc96ef928c463d2afa69a2ff.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-36078-6_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 15301)

Andrei A. Bulatov, Venkatesan Guruswami, Andrei Krokhin, Dániel Marx, Marc Herbstritt
<span title="2016-01-13">2016</span> <i title="Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u2phfyhrhje7xnnubtp3vfklcu" style="color: black;">Dagstuhl Reports</a> </i> &nbsp;
The Dagstuhl Seminar 15301 "The Constraint Satisfaction Problem: Complexity and Approximability" was aimed at bringing together researchers using all the different techniques in the study of the CSP, so  ...  combinatorics, have been used to analyze both the computational complexity and approximabilty of algorithmic tasks related to the constraint satisfaction problem (CSP), as well as the applicability/limitations  ...  This has led to the pursuit of classifications of CSP with respect to descriptive complexity, i.e. definability in a given logic.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.5.7.22">doi:10.4230/dagrep.5.7.22</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/dagstuhl-reports/BulatovGKM15.html">dblp:journals/dagstuhl-reports/BulatovGKM15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lcyvfsxsbzbrfe27irlpxepxoi">fatcat:lcyvfsxsbzbrfe27irlpxepxoi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220120041143/https://drops.dagstuhl.de/opus/volltexte/2016/5671/pdf/dagrep_v005_i007_p022_s15301.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7e/76/7e76cdd218d9615fc7356966bee0bccd201b1e71.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.5.7.22"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

On Decidability of Expressive Description Logics with Composition of Roles in Number Restrictions [article]

Fabio Grandi
<span title="2003-08-19">2003</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Description Logics are knowledge representation formalisms which have been used in a wide range of application domains.  ...  Owing to their appealing expressiveness, we consider in this paper extensions of the well-known concept language ALC allowing for number restrictions on complex role expressions.  ...  Preliminaries on Description Logics Description Logics expressiveness is based on the definition of complex concepts and roles, which can be built with the help of available constructors, starting from  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0308029v1">arXiv:cs/0308029v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6x7gwtkvnrd7ppam4lumawuvam">fatcat:6x7gwtkvnrd7ppam4lumawuvam</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs0308029/cs0308029.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8d/a2/8da27cfd3faf64eefc53ebaeef69ed34094cba09.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0308029v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Reflections on Finite Model Theory

Phokion G. Kolaitis
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cnybbxuptncftdgxtodn5edz7m" style="color: black;">22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)</a> </i> &nbsp;
Main Finding: All major computational complexity classes, including P, NP, and PSPACE, can be characterized in terms of definability in various logics on classes of finite structures.  ...  Reinforces the unity of computation and logic. Yields machine-independent characterizations of computational complexity classes.  ...  Descriptive complexity studies the connections between computational complexity and logical definability.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/lics.2007.39">doi:10.1109/lics.2007.39</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/lics/Kolaitis07.html">dblp:conf/lics/Kolaitis07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3eulyaqcgbfdzihya6kzjxm2ru">fatcat:3eulyaqcgbfdzihya6kzjxm2ru</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20101227000826/http://users.soe.ucsc.edu:80/~kolaitis/talks/lics07.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f5/c9/f5c9938fe9ba00ec3714439f63cddf3dc3168645.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/lics.2007.39"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Expressive probabilistic description logics

Thomas Lukasiewicz
<span title="">2008</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/weoplee4x5anpi62cco5v4higa" style="color: black;">Artificial Intelligence</a> </i> &nbsp;
In this paper, we present the expressive probabilistic description logics P-SHIF(D) and P-SHOIN (D), which are probabilistic extensions of these description logics.  ...  In particular, this shows the important result that reasoning in the new probabilistic description logics is decidable/computable.  ...  Many thanks also to the reviewers of this paper and its JELIA-2002 abstract for their constructive and useful comments, which helped to improve this work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.artint.2007.10.017">doi:10.1016/j.artint.2007.10.017</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xhd5zpbx2bbflen2vsswy72w2i">fatcat:xhd5zpbx2bbflen2vsswy72w2i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151001182236/http://lat.inf.tu-dresden.de/~turhan/Papers/Expressive-DLs--Lukasiewicz.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/db/66/db66326c9a3ef9a7e04eafd3b9fd8b11c21deffe.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.artint.2007.10.017"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Verification of knowledge bases based on containment checking

Alon Y. Levy, Marie-Christine Rousset
<span title="">1998</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/weoplee4x5anpi62cco5v4higa" style="color: black;">Artificial Intelligence</a> </i> &nbsp;
For the first two cases, we establish tight complexity results on the problem, and show in what cases it is decidable.  ...  Finally, we provide the first algorithm for verifying hybrid knowledge bases that combine the expressive power of Horn rules and the description logic ALCNR. 0 1998 Published by Elsevier B.V.  ...  Description logics are useful in this context because they are especially designed to model and express constraints on domains with a rich hierarchical structure.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0004-3702(98)00021-6">doi:10.1016/s0004-3702(98)00021-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pqnu3wp32vchnomfjh6yerriuq">fatcat:pqnu3wp32vchnomfjh6yerriuq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190319073152/https://core.ac.uk/download/pdf/82045720.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5c/8f/5c8f5e53e0ba6c7034c16c678143930fd76f89f5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0004-3702(98)00021-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries [chapter]

Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev
<span title="">2002</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper for the first time non trivial decidability and complexity results are presented for the problem of temporal query containment under complex constraints.  ...  This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear temporal logic with Since  ...  The temporal description logic DLR U S we devise in this paper is based on the expressive and decidable description logic DLR which allows the logical reconstruction and the extension of representational  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45757-7_9">doi:10.1007/3-540-45757-7_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4vgmyrocprg5tfcxebna63xny4">fatcat:4vgmyrocprg5tfcxebna63xny4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050509183234/http://www.inf.unibz.it:80/%7Efranconi/papers/jelia-02.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b7/cb/b7cb649046c4b2919fe58b041224b24641fc50bb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45757-7_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Preface for the special issue on Ontologies and Logic Programming for Query Answering

Odile Papini, Salem Benferhat
<span title="">2018</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/j2td7x4trvgx7pjoienrccryxq" style="color: black;">Annals of Mathematics and Artificial Intelligence</a> </i> &nbsp;
This special issue collects fully revised and extended versions of contributions presented at the international workshop Ontologies and Logic Programming for Query Answering (ONTOLP 2015) affiliated with  ...  In particular, can (a fragment of) ASP cover lightweight ontological languages while keeping decidability and efficiency?  ...  It presents a formalisation of the generalisation process that relies on the notion of refinement operators defined in Inductive Logic programming and on the notion of amalgation developped in case-based  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10472-018-9580-3">doi:10.1007/s10472-018-9580-3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/se44nmynsrgppe6m5qpbppj4by">fatcat:se44nmynsrgppe6m5qpbppj4by</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181030103924/https://link.springer.com/content/pdf/10.1007%2Fs10472-018-9580-3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b3/24/b3247285dd2d676583c05a6c42c5a497d72724c0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10472-018-9580-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Query Answering over Complete Data with Conceptual Constraints

Nhung Ngo
<span title="">2016</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vxrc3vebzzachiwy3nopwi3h5u" style="color: black;">Proceedings of the 2016 on SIGMOD&#39;16 PhD Symposium - SIGMOD&#39;16 PhD</a> </i> &nbsp;
We first study the complexity of query answering problem under description logic constraints in the presence of complete data and show that complete data makes query answering become harder than query  ...  To deal with the problem, the ontology-based data access approach uses ontologies to capture both constraints and databases.  ...  Acknowledgement This research is partially supported by Free University of Bolzano, under project ORMiE.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2926693.2929899">doi:10.1145/2926693.2929899</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigmod/Ngo16.html">dblp:conf/sigmod/Ngo16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/o6f6vjbbnbeyrn5vzv4kdu54ny">fatcat:o6f6vjbbnbeyrn5vzv4kdu54ny</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218140807/https://static.aminer.org/pdf/20170130/pdfs/sigmod/us5wo1bnrwp7logab9eeifaljqdmun0d.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/69/b1/69b18f1904b1973ab21275640b2a0947c982c224.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2926693.2929899"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Foundations of Temporal Conceptual Data Models [chapter]

Alessandro Artale, Enrico Franconi
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
It then introduces a correct and succinct encoding in a subset of first-order temporal logic, namely DLRUS -the description logic DLR extended with the temporal operators Since and Until.  ...  At the end, results on the complexity of reasoning in temporal conceptual models are presented.  ...  Zakharyaschev with whom we carried out most of the work presented in this chapter.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-02463-4_2">doi:10.1007/978-3-642-02463-4_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2jrkxuozmjhifbc6sptszm6jya">fatcat:2jrkxuozmjhifbc6sptszm6jya</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922231904/http://www.inf.unibz.it/~franconi/papers/Artale-Franconi-chapter-09-springer-preview.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0d/1c/0d1ccde1762049d34831da0c94a9c745c88296fd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-02463-4_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Decidable Very Expressive Description Logic for Databases [chapter]

Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli
<span title="">2017</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We show how a simple syntactic restriction on the appearance of projections sharing common attributes in the KB makes reasoning in the language decidable with the same computational complexity as DLR.  ...  We introduce DLR', an extension of the n-ary propositionally closed description logic DLR to deal with attribute-labelled tuples (generalising the positional notation), projections of relations, and global  ...  It turns out that DLR`is an expressive description logic able to assert relevant constraints in the context of relational databases.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-68288-4_3">doi:10.1007/978-3-319-68288-4_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sqsdgup5dzhcdjkk2vll5xqrza">fatcat:sqsdgup5dzhcdjkk2vll5xqrza</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180114193535/http://ceur-ws.org/Vol-2037/paper_6.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c3/29/c32921c53f7b084789f724a6860d6005df9a3602.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-68288-4_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 126,161 results