Filters








117,349 Hits in 5.6 sec

Beth Definability for the Guarded Fragment [chapter]

Eva Hoogland, Maarten Marx, Martin Otto
<span title="">1999</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 we consider the Beth property of first order logic and show that, despite the failure of interpolation, it is retained in restriction to GF.  ...  ¿From this we obtain that, more specifically, even every n-variable guarded fragment with up to nary relations has the Beth property.  ...  An obvious candidate of such a generalization is the two variable fragment of first order logic, denoted by L 2 .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48242-3_17">doi:10.1007/3-540-48242-3_17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mpkg77qddzgn5kwjkm2fz4lisa">fatcat:mpkg77qddzgn5kwjkm2fz4lisa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922005819/http://festschriften.illc.uva.nl/j50/contribs/hoogland/hoogland.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/74/c0/74c0b2a164525af7e1d494f7a85def900ad5cc97.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-48242-3_17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Temporalising Tableaux

Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
<span title="">2004</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nzzezfqw65bhpbeksnoskjzuza" style="color: black;">Studia Logica: An International Journal for Symbolic Logic</a> </i> &nbsp;
First-order temporal logic (FOTL) based on the flow of time N, < is notorious for its 'bad computational behaviour:' even the two-variable monadic fragment of this logic is not recursively enumerable (  ...  For example, many temporal description logics and spatio-temporal logics can be regarded as fragments of monodic FOTL [4, 5, 6] .  ...  Acknowledgements The work of the first and fourth author was partially supported by UK EPSRC grant GR/R45369/01 "Analysis and mechanisation of decidable first-order temporal logics."  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1023/b:stud.0000027468.28935.6d">doi:10.1023/b:stud.0000027468.28935.6d</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cpammfl77fabfdce7b3sfsyicu">fatcat:cpammfl77fabfdce7b3sfsyicu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190224040759/http://pdfs.semanticscholar.org/5249/aa4e9ffdfd8d89a0444a4722f7d3b4d61611.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/52/49/5249aa4e9ffdfd8d89a0444a4722f7d3b4d61611.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1023/b:stud.0000027468.28935.6d"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

On the uniform one-dimensional fragment [article]

Antti Kuusisto
<span title="2016-04-07">2016</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The uniform one-dimensional fragment of first-order logic, U1, is a recently introduced formalism that extends two-variable logic in a natural way to contexts with relations of all arities.  ...  We also define a description logic version of a variant of U1 and prove a range of new results concerning the expressivity of U1 and related logics.  ...  Acknowledgements This work was supported by the ERC grant 647289 "CODA."  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1604.01673v2">arXiv:1604.01673v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bq6bg7pqxrhynmyh2ogegsufzy">fatcat:bq6bg7pqxrhynmyh2ogegsufzy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191017090949/https://arxiv.org/pdf/1604.01673v2.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/1d/c3/1dc3c6234fb2d0d677ecf43ca887905acea013b5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1604.01673v2" 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>

Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D [chapter]

Ian Hodkinson, Frank Wolter, Michael Zakharyaschev
<span title="">2001</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;
Outline of talk Most propositional temporal logics are decidable. But the decision problem in predicate (first-order) temporal logics has seemed near-hopeless.  ...  In ALC , if temporal operators are applied only to subsumptions and concepts (but not to roles), then the language is reducible to the two-variable monodic fragment. • Spatial logic RCC-8 can be extended  ...  Note: 2-variable and monadic fragments of first-order logic are decidable. 10 What did we do to deserve this?  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45653-8_1">doi:10.1007/3-540-45653-8_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pqavraufgva2vl6icvm7om6yby">fatcat:pqavraufgva2vl6icvm7om6yby</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808040454/http://www.doc.ic.ac.uk/~imh/papers/aiml.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/4c/0e/4c0e2b1748ef70dc534fc7c93ad3afd2ea4edc8a.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-45653-8_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Ontologies and Rules [chapter]

Pascal Hitzler, Bijan Parsia
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qwrm3qh7a5bchpohbjsajdu23a" style="color: black;">Handbook on Ontologies</a> </i> &nbsp;
In essence, the Semantic Web Rule Language (SWRL) 3 [13] is the unrestricted union of OWL DL (i.e., roughly the description logic SHOIN (D)) and (binary) function-free Horn logic.  ...  Starting in the late 1990s, there were a number of attempts to combine Datalog (as the premier deductive database language) with description logics; notable examples include AL-log [6] and CARIN [22] .  ...  Acknowledgements The first named author acknowledges support by the Deutsche Forschungsgemeinschaft under the ReaSem project.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-92673-3_5">doi:10.1007/978-3-540-92673-3_5</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/series/ihis/HitzlerP09.html">dblp:series/ihis/HitzlerP09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3v5zvvkh45dlndxi4334lab2nm">fatcat:3v5zvvkh45dlndxi4334lab2nm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110617173951/http://knoesis.wright.edu:80/faculty/pascal/resources/publications/chapterHitzlerParsia2008.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/e4/2f/e42fc251051ab85490900ef54336ade28c3b51e4.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-92673-3_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Recent Advances in Integrating OWL and Rules (Technical Communication) [chapter]

Matthias Knorr, David Carral Martínez, Pascal Hitzler, Adila A. Krisnadhi, Frederick Maier, Cong Wang
<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;
The nodes of G r are the variables occurring in the rule body of r, and there is exactly one directed edge between two variables x and y if there is at least one binary atom of the form P (x, y) appearing  ...  Rule-Extensions of OWL In [4], Grosof et al. describe a fragment of the description logic SHOIN (a.k.a.  ...  Rule-Extensions of OWL In [4] , Grosof et al. describe a fragment of the description logic SHOIN (a.k.a.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-33203-6_20">doi:10.1007/978-3-642-33203-6_20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l2l6wjeopvaalpiek33j2sqko4">fatcat:l2l6wjeopvaalpiek33j2sqko4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130108023440/http://knoesis.wright.edu/faculty/pascal/pub/rr12tc.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/61/76/61769fe034218d62faf5d3e0a91dafb065d56ffa.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-33203-6_20"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Characterization Theorem for a Modal Description Logic

Paul Wild, Lutz Schröder
<span title="">2017</span> <i title="International Joint Conferences on Artificial Intelligence Organization"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vfwwmrihanevtjbbkti2kc3nke" style="color: black;">Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence</a> </i> &nbsp;
over finite and over unrestricted models, precisely the bisimulation-invariant fragment of S5-FOL, thus giving an exact description of the expressive power of S5-ALC with only local roles.  ...  ., the logic S5-ALC combines the standard description logic ALC with an S5-modality that can be understood as an epistemic operator or as representing (undirected) change.  ...  logics as fragments of even more expressive two-sorted first order logics that make the worlds explicit.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.24963/ijcai.2017/181">doi:10.24963/ijcai.2017/181</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ijcai/WildS17.html">dblp:conf/ijcai/WildS17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uzgwl2zcebeklbfzf3rvty5e7y">fatcat:uzgwl2zcebeklbfzf3rvty5e7y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721141419/https://www.ijcai.org/proceedings/2017/0181.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/fb/f5/fbf5fbc633e506a8a4d95867bb9212e23a38d614.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.24963/ijcai.2017/181"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT

MANFRED JAEGER
<span title="">2006</span> <i title="World Scientific Pub Co Pte Lt"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2mchw27ezjaivoukjltsyavclq" style="color: black;">International Journal of Uncertainty Fuzziness and Knowledge-Based Systems</a> </i> &nbsp;
This general semantic principle serves as the foundation for the development of a probabilistic version of the guarded fragment of first-order logic.  ...  A characterization of equivalence in that logic in terms of bisimulations is given.  ...  The resulting probabilistic guarded fragment provides a general framework in which many probabilistic description logics can be embedded.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1142/s0218488506003820">doi:10.1142/s0218488506003820</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ynzfmvfzgjg3fmjcnol6ucl2pa">fatcat:ynzfmvfzgjg3fmjcnol6ucl2pa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809044800/http://people.cs.aau.dk/~jaeger/publications/IPMU04.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/fd/a2/fda29c024b24eb1b1a5979a5903cdf91f0cf937d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1142/s0218488506003820"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> worldscientific.com </button> </a>

First-Order Resolution Methods for Modal Logics [chapter]

Renate A. Schmidt, Ullrich Hustadt
<span title="">2013</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;
Because of the breadth of the area and the many applications we focus on the use of first-order resolution methods for modal logics.  ...  In addition to traditional propositional modal logics we consider more expressive PDL-like dynamic modal logics which are closely related to description logics.  ...  Moreover, the same refinements of resolution that decide these logics can be seen to decide very expressive fragments of first-order logic (guarded fragments, the two-variable fragment, fluted logic, Maslov's  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-37651-1_15">doi:10.1007/978-3-642-37651-1_15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pta3fxqsnfal3cigcnryyxjcba">fatcat:pta3fxqsnfal3cigcnryyxjcba</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110605024036/http://www.cs.man.ac.uk/~schmidt/publications/wplhg05.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/f4/68/f4688b804cdb9855fc5497fcabc7962f975212f9.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-37651-1_15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Prolog-based Query Language for OWL

Jesús M. Almendros-Jiménez
<span title="">2011</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
With this aim, firstly, we study how to define a query language based on a fragment of Description Logic, then we show how to encode the defined query language into Prolog by means of logic rules and finally  ...  Our query language will be able to retrieve data and meta-data about a given OWL based ontology.  ...  Most of fragments of Description Logic are subsets or variants of C 2 , the subset of first-order logic (FOL) extended with counting quantifiers, with formulas without function symbols and maximum two  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2011.02.008">doi:10.1016/j.entcs.2011.02.008</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fhv4jebhmjd6defopvrecz54im">fatcat:fhv4jebhmjd6defopvrecz54im</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190418111157/https://core.ac.uk/download/pdf/82271254.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/e8/00/e8003702fd1774b96506848550fb80bcddb4bdfa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2011.02.008"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

On Role Logic [article]

Viktor Kuncak, Martin Rinard
<span title="2004-08-05">2004</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We show that the RL^2 fragment has the same expressive power as two-variable logic with counting C^2 and is therefore decidable.  ...  In addition, we show how RL^2 encodes boolean shape analysis constraints and an expressive description logic.  ...  Acknowledgements We thank Patrick Lam for useful discussions, comments on the paper, and an implementation of an early version of role logic normalization algorithm in Fall 2001, we thank Andreas Podelski  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0408018v1">arXiv:cs/0408018v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rs3rosm6k5frzbu7q43j5fb2wy">fatcat:rs3rosm6k5frzbu7q43j5fb2wy</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs0408018/cs0408018.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/6b/ee/6beeea22a1cc03b99c0054c6d4b2afdf11931138.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0408018v1" 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>

Back and Forth Between Modal Logic and Classical Logic

HAJNAL ANDRÉKA, JOHAN van BENTHEM, ISTVAN NÉMETI
<span title="">1995</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mwzmwwmscfe4vnzrjlt5itd2ju" style="color: black;">Logic Journal of the IGPL</a> </i> &nbsp;
In particular, we prove decidability for a large'bounded fragment' of predicate logic, and point out several applications. One can also combine the two views on modal logic, as will be illustrated.  ...  Perhaps the most in uential answer is that of Gabbay 25], which identi es them with so-called' nite-variable fragments', using only some xed nite number of variables (free or bound).  ...  Acknowledgments Various participants at the Amsterdam Modal Logic Colloquium (organized by Maarten de Rijke) provided useful comments on earlier versions of this work, including Peter van Emde Boas and  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/jigpal/3.5.685">doi:10.1093/jigpal/3.5.685</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3hp2nm4mabcdndpdyq3e7ylwlu">fatcat:3hp2nm4mabcdndpdyq3e7ylwlu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190223200256/http://pdfs.semanticscholar.org/55b2/a7792e3aa8b813fe6d2a552c523ae79afcef.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/55/b2/55b2a7792e3aa8b813fe6d2a552c523ae79afcef.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/jigpal/3.5.685"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard [chapter]

Emanuel Kieroński
<span title="">2003</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 prove that the satisfiability problem for the two-variable guarded fragment with transitive guards GF 2 + T G is 2EXPTIME-hard. This result closes the open questions left in [4] , [17] .  ...  Our lower bound for minGF 2 + T G matches the upper bound for the whole guarded fragment with transitive guards and the unrestricted number of variables GF + T G given by Szwast and Tendera [17], so in  ...  Since the modal fragment is a two-variable logic, the two-variable first-order logic FO 2 was considered a good candidate for such an extension.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-36576-1_19">doi:10.1007/3-540-36576-1_19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/i4iolnu5arhxfme3satc5qyvbu">fatcat:i4iolnu5arhxfme3satc5qyvbu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180727055742/https://link.springer.com/content/pdf/10.1007%2F3-540-36576-1_19.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/0a/fc/0afc481ed11b35d0d34b91470ae4bfa1235eb8dd.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-36576-1_19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The limits and possibilities of combining Description Logics and Datalog

Riccardo Rosati
<span title="">2006</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ijrih34afjbq7idfc7umjyooaq" style="color: black;">2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML&#39;06)</a> </i> &nbsp;
In this talk we present a set of computational results which identify, from the viewpoint of the expressive abilities of the two formalisms, minimal combinations of Description Logics and (nonmonotonic  ...  Description Logics are currently the most used formalisms for building ontologies, and have been proposed as standard languages for the specification of ontologies in the Semantic Web.  ...  variable quantification beyond the tree-like structure of DL concepts (many DLs actually correspond to subsets of the two-variable fragment of firstorder logic) • the possibility of formulating expressive  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ruleml.2006.22">doi:10.1109/ruleml.2006.22</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ruleml/Rosati06.html">dblp:conf/ruleml/Rosati06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qnzkeco7qnf3fhqoegkcorc3cm">fatcat:qnzkeco7qnf3fhqoegkcorc3cm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150930233643/http://www.computer.org/csdl/proceedings/ruleml/2006/2652/00/26520003.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/9f/6a/9f6aa107e78fec3847a028944926926323e527a8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ruleml.2006.22"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Description Logic Programs: Combining Logic Programs with Description Logic

Benjamin Grosof, Ian Horrocks, Raphael Volz, Stefan Decker
<span title="">2003</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tol7woxlqjeg5bmzadeg6qrg3e" style="color: black;">Social Science Research Network</a> </i> &nbsp;
DLP provides a significant degree of expressiveness, substantially greater than the RDF-Schema fragment of Description Logic.  ...  We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their  ...  We have begun by studying two new KRs, Description Logic Programs (DLP), which is defined by the expressive intersection of the two approaches, and the closely related Description Horn Logic (DHL).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2139/ssrn.460986">doi:10.2139/ssrn.460986</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iq32qe3j4rebtaqntzj33dostq">fatcat:iq32qe3j4rebtaqntzj33dostq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160806035950/http://www.mit.edu/~bgrosof/paps/dlp-www2003.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/c5/d0/c5d0b7a7bc5c6da46f7735e28aa3d74e87bba6d7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2139/ssrn.460986"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ssrn.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 117,349 results