Filters








39 Hits in 2.0 sec

RCC8 binary constraint network can be consistently extended

Sanjiang Li, Huaiqing Wang
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/weoplee4x5anpi62cco5v4higa" style="color: black;">Artificial Intelligence</a> </i> &nbsp;
The recent observation that RCC8 composition table describes only weak composition instead of composition raises questions about Renz and Nebel's maximality results about the computational complexity of  ...  Given Θ, an RCC8 network, and z, a fresh variable, suppose xTy ∈ Θ and T is contained in the weak composition of R and S.  ...  Acknowledgements We thank Ivo Düntsch for drawing our attention to the possible weakness of the complexity results in [22] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.artint.2005.08.003">doi:10.1016/j.artint.2005.08.003</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y3jgrkb3xvdvnmwtfvnefxmn5m">fatcat:y3jgrkb3xvdvnmwtfvnefxmn5m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190225194829/https://core.ac.uk/download/pdf/82226923.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/17/8b/178b3735e326e64e8507aa0bbe2b765854397476.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.2005.08.003"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

On the complemented disk algebra

Sanjiang Li, Yongming Li
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/anq6kvwvqbegtipq5vfhvonzqq" style="color: black;">The Journal of Logic and Algebraic Programming</a> </i> &nbsp;
A quite large part of contemporary spatial reasoning is concerned with the research of relation algebras generated by the "part of" and "connection" relations in various domains.  ...  The importance of relational methods in temporal and spatial reasoning has been widely recognised in the last two decades.  ...  Acknowledgments We gratefully thank the two anonymous referees for their invaluable suggestions that helped to improve considerably the presentation of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jlap.2005.04.003">doi:10.1016/j.jlap.2005.04.003</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lqv43ckgtfdzrncpo3medkxxnq">fatcat:lqv43ckgtfdzrncpo3medkxxnq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170929091502/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/77b/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU2NzgzMjYwNTAwMDM3OA%3D%3D.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/a9/b7a9da378c512f6fb3e36e73a45eefa418301f46.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jlap.2005.04.003"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Deriving Extensional Spatial Composition Tables [chapter]

Baher El-Geresy, Alia I. Abdelmoty, Andrew J. Ware
<span title="2009-10-19">2009</span> <i title="Springer London"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/46x3pqkj25d2fjn2giaqjrhvne" style="color: black;">Research and Development in Intelligent Systems XXVI</a> </i> &nbsp;
Furthermore, two general conditions that can be used to test for extensionality of spatial composition tables are proposed and applied to the RCC8 composition table to verify the allowable models in this  ...  An extensional interpretation of a spatial composition table is an important property that has been studied in the literature and is used to determine the validity of the table for the models it is proposed  ...  Table 1 Extensional Composition table for the RCC8 relations.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-84882-983-1_7">doi:10.1007/978-1-84882-983-1_7</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sgai/El-GeresyAW09.html">dblp:conf/sgai/El-GeresyAW09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qh2jbt32cze6behflxd7cz3ecy">fatcat:qh2jbt32cze6behflxd7cz3ecy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190303092123/http://pdfs.semanticscholar.org/b2fd/6c0f2bae0375ace3acd4e6a7379c8701bb4c.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/b2/fd/b2fd6c0f2bae0375ace3acd4e6a7379c8701bb4c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-84882-983-1_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Relational reasoning in the region connection calculus [article]

Yongming Li, Sanjiang Li, Mingsheng Ying
<span title="2005-05-14">2005</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
So in general an extensional composition table for the RCC cannot be obtained by simply refining the RCC8 relations.  ...  After having shown that each RCC model is a consistent model of the RCC11 CT, we give an exhaustive investigation about extensional interpretation of the RCC11 CT.  ...  Since RCC8 is JEPD, it supports a composition table. The RCC8 composition table appears first in [8] and coincides with that of [15] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0505041v1">arXiv:cs/0505041v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/udu4zmpcdbgm7i4qd3wjvnd4la">fatcat:udu4zmpcdbgm7i4qd3wjvnd4la</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs0505041/cs0505041.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/ee/42/ee421c9c9d33b3d09105cea1c89d7092668b92a6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0505041v1" 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>

Representation of RCC11 Composition Table

Yong-Ming LI
<span title="">2007</span> <i title="China Science Publishing &amp; Media Ltd."> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zwqx233xnvggdgdmdkqawwikpy" style="color: black;">Journal of Software (Chinese)</a> </i> &nbsp;
It is shown that the complemented closed disk algebra is a representation for the relation algebra determined by the RCC11 table, which was first described by Düntsch.  ...  The domain of this algebra contains two classes of regions, the closed disks and closures of their complements in the real plane, and the contact relation is the standard Whiteheadean contact (i.e. aCb  ...  Since RCC8 is JEPD, it supports a composition table. The RCC8 composition table appears first in Ref. [5] and coincides with that of Ref. [4] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1360/jos182458">doi:10.1360/jos182458</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/23nkxzlxxjb3fpafcc3p3vfd3q">fatcat:23nkxzlxxjb3fpafcc3p3vfd3q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922213946/http://www.jos.org.cn/1000-9825/18/2458.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/9d/10/9d1020077c74f997923a5691acb66425b07bcf3f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1360/jos182458"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Page 5657 of Mathematical Reviews Vol. , Issue 2004g [page]

<span title="">2004</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
of the RCC8 composition table.  ...  This paper shows, however, that the Egenhofer model is indeed an ex- tensional one for the RCC8 composition table.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2004-07_2004g/page/5657" title="read fulltext microfilm" 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> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2004-07_2004g/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Forthcoming Papers

<span title="">2003</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/weoplee4x5anpi62cco5v4higa" style="color: black;">Artificial Intelligence</a> </i> &nbsp;
The GRT heuristic is based on the estimation of the distances between each fact of a problem and the goals.  ...  Its computation is based on sets of non-dominated cost-vectors assigned to the problem facts, which estimate the total cost of achieving the facts from the goals, using alternative paths.  ...  All these results are given in an 'extensional' RCC8 composition table, where we attach to each cell entry in the RCC8 CT a superscript to indicate in what circumstances an extensional interpretation is  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0004-3702(03)00031-6">doi:10.1016/s0004-3702(03)00031-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vv67l2cr4vevzh7tzkehconbjq">fatcat:vv67l2cr4vevzh7tzkehconbjq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190309033643/https://core.ac.uk/download/pdf/82334431.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/60/3460d7c76c86e56e41e5b752c1db50f2fdc7c0c8.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(03)00031-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A relation – algebraic approach to the region connection calculus

Ivo Düntsch, Hui Wang, Steve McCloskey
<span title="">2001</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
In particular, we present a reÿnement of the RCC8 table which shows that the axioms provide for more relations than are listed in the present table.  ...  Finally, we prove that a reÿned version of the RCC5 table has as models all atomless Boolean algebras B with the natural ordering as the "part-of " relation, and that the table is closed under ÿrst-order  ...  Worboys for fruitful discussions on the subject and helpful remarks.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(99)00156-5">doi:10.1016/s0304-3975(99)00156-5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qhhbuuwphjap5a763itewewdoq">fatcat:qhhbuuwphjap5a763itewewdoq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190412163913/https://core.ac.uk/download/pdf/81201157.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/a2/73/a2733c89a809e3660092abe610a949b05a1857c6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(99)00156-5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A complete classification of topological relations using the 9‐intersection method

Sanjiang Li
<span title="">2006</span> <i title="Informa UK Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5bs7dystenbhbe6dcjwszk233u" style="color: black;">International Journal of Geographical Information Science</a> </i> &nbsp;
This paper generalizes the 9IM to cope with general regions, where a (general) region is a nonempty proper regular closed subset of the Euclidean plane.  ...  For all the remaining 38 relations, we construct configurations by using sums, differences, and complements of disks.  ...  Acknowledgements We thank the anonymous referees for their helpful suggestions and good questions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/13658810600661383">doi:10.1080/13658810600661383</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fhvk3kljtbfxplxblvhgvcfglq">fatcat:fhvk3kljtbfxplxblvhgvcfglq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170813093712/https://opus.lib.uts.edu.au/bitstream/10453/9109/1/2007004956.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/a2/dba25fe7544ad8fbff14c5d9f75965ef1b82ccdc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/13658810600661383"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> tandfonline.com </button> </a>

Weak Composition for Qualitative Spatial and Temporal Reasoning [chapter]

Jochen Renz, Gérard Ligozat
<span title="">2005</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 has now been clear for some time that for many qualitative spatial or temporal calculi, for instance the well-known RCC8 calculus, the operation of composition of relations which is used is actually  ...  In this paper we analyse the effects of having weak compositions.  ...  This covers all the cases in the middle column of Table 1 such as RCC8, but does not cover those cases in the bottom right cell.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11564751_40">doi:10.1007/11564751_40</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uexa2jroyzaedavw4c5nr3747a">fatcat:uexa2jroyzaedavw4c5nr3747a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190224095538/http://pdfs.semanticscholar.org/5436/eec3d06f08a7f5f4489a292708b934b5978d.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/54/36/5436eec3d06f08a7f5f4489a292708b934b5978d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11564751_40"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Casl Specifications of Qualitative Calculi [chapter]

Stefan Wölfl, Till Mossakowski
<span title="">2005</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;
We explain scope and expressiveness of CASL by discussing the specifications of some of the calculi mentioned before. A.G. Cohn and D.M.  ...  These calculi are designed for modeling specific aspects of space or time, respectively, to the effect that the class of intended models may vary widely with the calculus at hand.  ...  Acknowledgments This work was partially supported by the Deutsche Forschungsgemeinschaft (DFG) as part of the Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11556114_13">doi:10.1007/11556114_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7xuhplmsfbftbf7cxrcj6td6qe">fatcat:7xuhplmsfbftbf7cxrcj6td6qe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080419024021/http://www.informatik.uni-bremen.de/~till/papers/CASL-Cosit.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/94/07/94077ad2b92d2adbdd686a8b08b24e68249ad63c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11556114_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

An Automatic Decomposition Method for Qualitative Spatial and Temporal Reasoning

J. Hue, M. Westphal, S. Wolfl
<span title="">2012</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jsqaafbrfneh7jtfvpjfzhs3ni" style="color: black;">2012 IEEE 24th International Conference on Tools with Artificial Intelligence</a> </i> &nbsp;
The standard approach for checking consistency is based on an exhaustive representation of possible configurations between three entities, the so-called composition tables.  ...  These tables, however, encode semantic background knowledge in a redundant way, which becomes a size and efficiency issue, when the composition table needs to be grounded as done in SAT encodings of problem  ...  ACKNOWLEDGMENT We thank the anonymous reviewers for their constructive comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ictai.2012.84">doi:10.1109/ictai.2012.84</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ictai/HueWW12.html">dblp:conf/ictai/HueWW12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/523uttfn5jae3e5ehxt6a2pcca">fatcat:523uttfn5jae3e5ehxt6a2pcca</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808212353/http://gki.informatik.uni-freiburg.de/papers/ictai2012b.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/6c/af/6cafbeb27ffd0a7c5db9ce9e28722f8d46882c8d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ictai.2012.84"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Scalable Geo-thematic Query Answering [chapter]

Özgür Lütfü Özçep, Ralf Möller
<span title="">2012</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;
We show that a weak coupling of DL-Lite with the expressive region connection calculus RCC8 allows for FOL rewritability under a spatial completeness condition for the ABox.  ...  The DL-Lite family of description logics is tailored towards FOL rewritability of query answering for unions of conjunctive queries, hence it is a suitable candidate for the thematic component of a combined  ...  But the composition tables for both definitions are identical. For the composition tables of RCC5 and RCC8 confer [14, p. 45] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-35176-1_41">doi:10.1007/978-3-642-35176-1_41</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/okdkuibhbbb4re254c5hwgi57q">fatcat:okdkuibhbbb4re254c5hwgi57q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180726233032/https://link.springer.com/content/pdf/10.1007%2F978-3-642-35176-1_41.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/40/cf/40cfa2ac38c48196eb39f6b0a914a00cfaa4a3a2.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-35176-1_41"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Relation Algebras and their Application in Temporal and Spatial Reasoning

Ivo D�ntsch
<span title="">2005</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/srtrvzrec5a3fmhgvgc3676jlu" style="color: black;">Artificial Intelligence Review</a> </i> &nbsp;
Each equation in the calculus corresponds to a theorem, and, for a situation where there are only nitely many relations, one can construct a composition table which can serve as a look up table for the  ...  The calculus of relation algebras is an equational formalism; it tells us which relations must exist, given several basic operations, such as Boolean operations on relations, relational composition and  ...  Acknowledgements I should like to thank the referee for her/his helpful remarks which considerably improved the quality of the paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10462-004-5899-8">doi:10.1007/s10462-004-5899-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4a3lkfnpcjatpcryv4i7qkmxiy">fatcat:4a3lkfnpcjatpcryv4i7qkmxiy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200709185838/https://www.cosc.brocku.ca/sites/all/files/downloads/research/cs0501.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/94/af9470a21c5a869512d548be2ee53badf3abde69.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10462-004-5899-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The Impact of Qualification on the Application of Qualitative Spatial and Temporal Reasoning Calculi [chapter]

Carl Schultz, Robert Amor, Hans W. Guesgen
<span title="">2010</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;
Concrete examples of existing QSTR applications are used to demonstrate and motivate this research. 4 Composition of two relations R1 and R2 produces the relation R3 such that for all x, y, z if R1(x,  ...  We present an analysis of QSTR calculus qualification and investigate the impact that qualification has on a QSTR application's reasoning properties such as completeness and soundness.  ...  As with IA, a reference table is used to implement the composition operator.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-17432-2_7">doi:10.1007/978-3-642-17432-2_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/m4zh73mc3vdgheoszees2feqem">fatcat:m4zh73mc3vdgheoszees2feqem</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110913134012/http://www.cs.auckland.ac.nz/~trebor/papers/SCHU10B.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/ef/f7/eff751069c893575b0c009a5e193fe4921b85902.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-17432-2_7"> <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 39 results