Filters








52,198 Hits in 6.0 sec

Engineering of Logics for the Content-Based Representation of Information [chapter]

Franz Baader
<span title="">2004</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;
r Content-based representation of information r The role of logics and why they must be engineered r Description Logics as a successful instance of this approach r Two applications of DL: Semantic Web  ...  representation of the "meaning" of the information r shared understanding of this meaning among all agents (human users, search engines, ...) using the information r understanding of meaning should result in  ...  C) ½ qualified number restrictions ½ general inclusion axioms ½ transitive roles, inverse roles, and role hierarchies } r implemented systems: FaCT [Horrocks 98] and Racer [Haarslev,Moeller 01] ½ tableau-based  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30227-8_2">doi:10.1007/978-3-540-30227-8_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kuqsfxcsnnbsvcay7ln3uwrs6a">fatcat:kuqsfxcsnnbsvcay7ln3uwrs6a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200709125102/https://lat.inf.tu-dresden.de/~baader/Talks/RTA02talk.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/d8/f2/d8f20fc898434482cafad1d66ce68e774fe1959a.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-30227-8_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

RACER System Description [chapter]

Volker Haarslev, Ralf Möller
<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;
RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized sound and complete algorithms.  ...  RACER implements a TBox and ABox reasoner for the logic SHIQ.  ...  Introduction The description logic (DL) SHIQ [18] extends the logic ALCN H R + [9] by additionally providing qualified number restrictions and inverse roles.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45744-5_59">doi:10.1007/3-540-45744-5_59</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/enaufzvjezbn7djub3rrr5a4h4">fatcat:enaufzvjezbn7djub3rrr5a4h4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809191719/http://users.encs.concordia.ca/%7Ehaarslev/publications/ijcar-2001-racer.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/ea/f0/eaf0a178b0ddf29e5523bdc9c486daf8e91b51ee.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-45744-5_59"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Handling Non-determinism with Description Logics using a Fork/Join Approach

Jocelyne Faddoul, Wendy MacCaull
<span title="">2015</span> <i title="IJNC Editorial Committee"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kyw3w6chebckjklmvvtpyxoewu" style="color: black;">International Journal of Networking and Computing</a> </i> &nbsp;
In this work, we explore handling non-determinism with DL languages enabling qualified cardinality restrictions.  ...  We implement a fork/join parallel framework into our tableau-based algebraic reasoner, which handles qualified cardinality restrictions and nominals using in-equation solving.  ...  Non-Determinism in concept descriptions does not interact with non-determinism in distributing individuals among the restrictions used as qualifications in at-most restriction.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15803/ijnc.5.1_61">doi:10.15803/ijnc.5.1_61</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mdnzhhm5qngrdiv6kz67f22grq">fatcat:mdnzhhm5qngrdiv6kz67f22grq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705072039/http://ijnc.org/index.php/ijnc/article/download/97/97/" 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/81/61/8161549bb2721aecd743c13630a7fa383ef23f26.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15803/ijnc.5.1_61"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Expressive description logics via SAT

Francis Gasse, Volker Haarslev
<span title="">2009</span> <i title="ACM Press"> Proceedings of the 7th International Workshop on Satisfiability Modulo Theories - SMT &#39;09 </i> &nbsp;
In this paper, we present a SMT-based description logic reasoner, its reasoning techniques, architecture, and some first experimental results.  ...  Description logics are an expressive subset of first-order logic with high complexity reasoning that could benefit from this approach.  ...  When faced with too many edges w.r.t. a qualified cardinality restrictions, we have to reduce the number of edges.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1670412.1670417">doi:10.1145/1670412.1670417</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zdvnfgjwqvehpkze2y2ies4rni">fatcat:zdvnfgjwqvehpkze2y2ies4rni</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706024311/http://users.encs.concordia.ca/~haarslev/publications/SMT2009.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/57/7f/577f2bf5d61bc76063144548f03e29b7b61c7eae.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1670412.1670417"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A New n-Ary Existential Quantifier in Description Logics [chapter]

Franz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theißen
<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;
both the usual existential restrictions and so-called qualified number restrictions.  ...  Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constructor, which generalizes  ...  The most interesting topics for future research are, on the one hand, to show that the exponential translation from EL (n) C into ALCQ given in Section 3 is optimal, i.e., to prove that there is no polynomial  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11551263_4">doi:10.1007/11551263_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/56us3zf3srbwrhsd2kcz4ktt7e">fatcat:56us3zf3srbwrhsd2kcz4ktt7e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161202042608/http://ceur-ws.org/Vol-147/01-BaaderEtAl.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/15/a3/15a36557460c263ca53cc3bf64955878f117ca88.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11551263_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

OWL DL vs. OWL flight

Jos de Bruijn, Rubén Lara, Axel Polleres, Dieter Fensel
<span title="">2005</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/s4hirppq3jalbopssw22crbwwa" style="color: black;">Proceedings of the 14th international conference on World Wide Web - WWW &#39;05</a> </i> &nbsp;
In this paper we present OWL Flight, which is loosely based on OWL, but the semantics is grounded in Logic Programming rather than Description Logics, and it borrows the constraint-based modeling style  ...  OWL has a number of problems in the area of interoperability and usability in the context of many practical application scenarios which impede the connection to the Software Engineering and Database communities  ...  Description Logic reasoning and optimization has so far mostly focused on the optimization of the subsumption inference; few optimizations exist for query answering.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1060745.1060836">doi:10.1145/1060745.1060836</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/www/BruijnLPF05.html">dblp:conf/www/BruijnLPF05</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nijmne2rfbfgzh2srzanlkv2km">fatcat:nijmne2rfbfgzh2srzanlkv2km</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808075238/http://www2005.wwwconference.org/cdrom/docs/p623.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/41/29/41299c581d4bcec2023eb80cbf039ffd15778674.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1060745.1060836"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Matching 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;
Description logic reasoning can be used both during the design phase, in order to improve the quality of ontologies, and in the deployment phase, in order to exploit the rich structure of ontologies and  ...  In this chapter, we explain what description logics are and why they make good ontology languages.  ...  supports qualified number restrictions, and more expressive datatypes than OWL.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/logcom/9.3.411">doi:10.1093/logcom/9.3.411</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oi3ruyvki5ez7c55bzmg2bflna">fatcat:oi3ruyvki5ez7c55bzmg2bflna</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830012014/http://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2004/BaHS04a.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/51/ca/51cafc6da4eae9b7b6d5c26bcdfb24b78e9c1c7d.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.411"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

Pellet: A Practical OWL-DL Reasoner

Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, Yarden Katz
<span title="">2007</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;
in Description Logics or theorem proving.  ...  In a matter of months, we had a reasoner that passed a substantial number of the OWL test cases and even useful for reasoning with small, relatively simple ontologies.  ...  In particular, qualified number restrictions and extended datatype representation and reasoning, such as multi-arity datatype predicates [38] and inverse-functional datatype properties, are especially  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2139/ssrn.3199351">doi:10.2139/ssrn.3199351</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xmjjuwarpnh6pmntazbg3c5lza">fatcat:xmjjuwarpnh6pmntazbg3c5lza</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120418212433/http://www.mindswap.org/papers/PelletJWS.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/9e/b4/9eb411bcc8b5f8efebc7fed4567c588389a4545e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2139/ssrn.3199351"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ssrn.com </button> </a>

Pellet: A practical OWL-DL reasoner

Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, Yarden Katz
<span title="">2007</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/etvhqodrjrc3tpf4c7eo6waru4" style="color: black;">Journal of Web Semantics</a> </i> &nbsp;
in Description Logics or theorem proving.  ...  In a matter of months, we had a reasoner that passed a substantial number of the OWL test cases and even useful for reasoning with small, relatively simple ontologies.  ...  In particular, qualified number restrictions and extended datatype representation and reasoning, such as multi-arity datatype predicates [38] and inverse-functional datatype properties, are especially  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.websem.2007.03.004">doi:10.1016/j.websem.2007.03.004</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vdbsiwxsqjhz5ma3pwb3lckt5i">fatcat:vdbsiwxsqjhz5ma3pwb3lckt5i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120418212433/http://www.mindswap.org/papers/PelletJWS.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/9e/b4/9eb411bcc8b5f8efebc7fed4567c588389a4545e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.websem.2007.03.004"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Description Logics as Ontology Languages for the Semantic Web [chapter]

Franz Baader, Ian Horrocks, Ulrike Sattler
<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;
In this paper, we describe what description logics are and what they can do for the Semantic Web.  ...  We also argue that, without the last decade of basic research in this area, description logics could not play such an important rôle in this domain.  ...  First, qualified number restriction are harder to handle than the unqualified ones used in most early DL systems. Let us illustrate this by an example.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-32254-2_14">doi:10.1007/978-3-540-32254-2_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kup6igg4yfcbli63ody52kkhby">fatcat:kup6igg4yfcbli63ody52kkhby</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040719080622/http://www.cs.man.ac.uk:80/~horrocks/Publications/download/2003/BaHS03.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/e6/45/e64580ba6cfc6ac1b1ed9610c298976ea49fabc8.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-32254-2_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors [chapter]

Franz Baader
<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 introduce a new description logic that extends the wellknown logic ALCQ by allowing the statement of constraints on role successors that are more general than the qualified number restrictions of ALCQ  ...  Though our new logic is considerably more expressive than ALCQ, we are able to show that the complexity of reasoning in it is the same as in ALCQ, both without and with TBoxes.  ...  In order to improve the performance of reasoners for DLs with qualified number restrictions, also more sophisticated numerical reasoning approaches (such as linear integer programming) have been employed  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-66167-4_3">doi:10.1007/978-3-319-66167-4_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qp76wgneobbe7ls77um4j3aslm">fatcat:qp76wgneobbe7ls77um4j3aslm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190228075017/http://pdfs.semanticscholar.org/8870/7476dfdc972a4dc1149823e9ae21f5020a0a.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/88/70/88707476dfdc972a4dc1149823e9ae21f5020a0a.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-66167-4_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Algebraic tableau reasoning for the description logic SHOQ

Jocelyne Faddoul, Volker Haarslev
<span title="">2010</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gyhc4ppmyjfm5a64dneqesv7ka" style="color: black;">Journal of Applied Logic</a> </i> &nbsp;
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or even classes.  ...  SHOQ extends the standard DL ALC (which is equivalent to the multi-modal logic K m ) with transitive roles, role hierarchies, qualified cardinality restrictions, and nominals, and forms an expressive subset  ...  Introduction Description Logics (DLs) [3] are a family of knowledge representation formalisms used to represent and reason about an application's domain elements.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jal.2010.08.009">doi:10.1016/j.jal.2010.08.009</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bstowqg3qjgrfankxq6s4xqb3i">fatcat:bstowqg3qjgrfankxq6s4xqb3i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190311081740/https://core.ac.uk/download/pdf/82112116.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/43/1e/431e1bb316f51e115b8cfd7868dfa440bcc04912.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jal.2010.08.009"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Chapter 3 Description Logics [chapter]

Franz Baader, Ian Horrocks, Ulrike Sattler
<span title="">2008</span> <i title="Elsevier"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/knzhtkesqzhbzjhdqapu633m7i" style="color: black;">Foundations of Artificial Intelligence</a> </i> &nbsp;
number restrictions, and concrete domains.  ...  After reviewing some of the most prominent applications of description logics, in particular ontology language applications, we will conclude with an overview of other aspects of description logic research  ...  With qualified number restrictions, we can additionally describe the type of individuals that are counted by a given number restriction.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1574-6526(07)03003-9">doi:10.1016/s1574-6526(07)03003-9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wa2lwv7ywrhvpnk3emfqv2pgyu">fatcat:wa2lwv7ywrhvpnk3emfqv2pgyu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080119045802/http://www.cs.man.ac.uk/~horrocks/Publications/download/2007/BaHS07a.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/14/3414360b55f2172952960909c74d51afae68c45d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1574-6526(07)03003-9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Towards Unveiling the Ontology Key Features Altering Reasoner Performances [article]

Nourhène Alaya and Sadok Ben Yahia and Myriam Lamolle
<span title="2015-09-29">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Reasoning with ontologies is one of the core fields of research in Description Logics.  ...  A variety of efficient reasoner with highly optimized algorithms have been developed to allow inference tasks on expressive ontology languages such as OWL(DL).  ...  A number of highly-optimized reasoners have been developed [8, 23, 25] , that support reasoning about ontologies written in expressive description logics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1509.08717v1">arXiv:1509.08717v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2blv2wcflbetzop7vnurd7ijuy">fatcat:2blv2wcflbetzop7vnurd7ijuy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200908103013/https://arxiv.org/pdf/1509.08717v1.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/bc/21/bc212186b11ec654b54cbe1a8f8634d7ddcca8a4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1509.08717v1" 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>

Description logic reasoning for semantic web ontologies

Anni-Yasmin Turhan
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tdrsvefnbzb4blr74qezzvb7l4" style="color: black;">Proceedings of the International Conference on Web Intelligence, Mining and Semantics - WIMS &#39;11</a> </i> &nbsp;
C ⊔ D C I ∪ D I qualified number restrictions qualified cardinality restrictions (≤ n r C) {x ∈ ∆ I | #{y : (x, y) ∈ r I ∧ y ∈ C I } ≤ n} (≥ n r C) {x ∈ ∆ I | #{y : (x, y) ∈ r I ∧ y ∈ C I } ≥ n} This concept  ...  ., if C I ⊆ D I for all C ⊑ D in T . If all concept descriptions in a TBox T are from a description logic L, then we call T a L-TBox.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1988688.1988696">doi:10.1145/1988688.1988696</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/wims/Turhan11.html">dblp:conf/wims/Turhan11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iemskztbeneb3gn3tct4qkigxm">fatcat:iemskztbeneb3gn3tct4qkigxm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20111219150641/http://lat.inf.tu-dresden.de/research/papers/2011/Tu-WIMS11.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/51/9c/519c6498942047df726decb22f47ca897ec124c4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1988688.1988696"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 52,198 results