Filters








449 Hits in 4.9 sec

Scalable Highly Expressive Reasoner (SHER)

Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Edith Schonberg, Kavitha Srinivas
<span title="">2009</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 our latest experiments, SHER is able to do sound and complete conjunctive query answering up to 7 million triples in seconds, and scales to datasets with 60 million triples, responding to queries in  ...  In this paper, we describe SHER (Scalable Highly Expressive Reasoner), a breakthrough technology that provides semantic querying of large relational datasets using OWL ontologies.  ...  In our latest experiments, SHER is able to do sound and complete conjunctive query answering on an example with 7 million triples in seconds, and scales to datasets with 60 million triples, responding  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2139/ssrn.3199433">doi:10.2139/ssrn.3199433</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fqtyul3gpzhixip7puygq2lcwm">fatcat:fqtyul3gpzhixip7puygq2lcwm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170921234318/http://www.websemanticsjournal.org/index.php/ps/article/viewFile/269/386/" 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/28/c3/28c30018f1741c9ee2cfd8ba271d5b62d4bf13c6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2139/ssrn.3199433"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ssrn.com </button> </a>

Scalable highly expressive reasoner (SHER)

Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Edith Schonberg, Kavitha Srinivas
<span title="">2009</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 our latest experiments, SHER is able to do sound and complete conjunctive query answering up to 7 million triples in seconds, and scales to datasets with 60 million triples, responding to queries in  ...  In this paper, we describe SHER (Scalable Highly Expressive Reasoner), a breakthrough technology that provides semantic querying of large relational datasets using OWL ontologies.  ...  In our latest experiments, SHER is able to do sound and complete conjunctive query answering on an example with 7 million triples in seconds, and scales to datasets with 60 million triples, responding  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.websem.2009.05.002">doi:10.1016/j.websem.2009.05.002</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hmsa7g2txrgs3du7whmc6oemc4">fatcat:hmsa7g2txrgs3du7whmc6oemc4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170921234318/http://www.websemanticsjournal.org/index.php/ps/article/viewFile/269/386/" 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/28/c3/28c30018f1741c9ee2cfd8ba271d5b62d4bf13c6.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.2009.05.002"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

The RacerPro knowledge representation and reasoning system

Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel
<span title="">2012</span> <i title="IOS Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pcapks3huberdozbvfqowysuly" style="color: black;">Semantic Web Journal</a> </i> &nbsp;
With its query and rule languages, RacerPro goes well beyond standard inference services provided by other OWL reasoners.  ...  RacerPro is a software system for building applications based on ontologies. The backbone of RacerPro is a description logic reasoner.  ...  RacerPro is built with Allegro Common Lisp, Alle-groGraph, and AllegroServe [2] (it is also possible to build the system using Lispworks Common Lisp and CL-HTTP [57] ).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/sw-2011-0032">doi:10.3233/sw-2011-0032</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3o5x3ragfjaubk6vyjuf3qariu">fatcat:3o5x3ragfjaubk6vyjuf3qariu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808031637/http://www.semantic-web-journal.net/sites/default/files/swj109_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/fd/ed/fdedb2c60b709b6a5b6ca3469200f235d6bc444f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/sw-2011-0032"> <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>

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;
Pellet is the first sound and complete OWL-DL reasoner with extensive support for reasoning with individuals (including nominal support and conjunctive query), user-defined datatypes, and debugging support  ...  Pellet is the first implementation of the full decision procedure for OWL-DL (including instances) and has extensive support for reasoning with individuals (including conjunctive query over assertions)  ...  The authors would like to especially thank Edna Ruckhaus who implemented the AL-Log coupling as well as Ron Alford and Michael Grove for their contributions to the code.  ... 
<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;
Pellet is the first sound and complete OWL-DL reasoner with extensive support for reasoning with individuals (including nominal support and conjunctive query), user-defined datatypes, and debugging support  ...  Pellet is the first implementation of the full decision procedure for OWL-DL (including instances) and has extensive support for reasoning with individuals (including conjunctive query over assertions)  ...  The authors would like to especially thank Edna Ruckhaus who implemented the AL-Log coupling as well as Ron Alford and Michael Grove for their contributions to the code.  ... 
<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>

Evaluation of Techniques for Inconsistency Handling in OWL 2 QL Ontologies [chapter]

Riccardo Rosati, Marco Ruzzi, Mirko Graziosi, Giulia Masotti
<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;
In this paper we present the Quonto Inconsistent Data handler (QuID). QuID is a reasoner for OWL 2 QL that is based on the system Quonto and is able to deal with inconsistent ontologies.  ...  The central aspect of QuID is that it implements two different, orthogonal strategies for dealing with inconsistency: ABox repairing techniques, based on data manipulation, and consistent query answering  ...  ABox cleaning and consistent query rewriting in the case of OWL 2 QL ontologies; (iii) our experiments show that the approach is really scalable, and that very large ABoxes can be effectively repaired.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-35173-0_23">doi:10.1007/978-3-642-35173-0_23</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kyfzsdvgazfx5fawmdtd4wbbta">fatcat:kyfzsdvgazfx5fawmdtd4wbbta</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180718230803/https://link.springer.com/content/pdf/10.1007%2F978-3-642-35173-0_23.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/05/96/05962ab4b721d5870e5c4e95dd33632ab1aa5eb2.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-35173-0_23"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The MASTRO system for ontology-based data access

Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
<span title="">2011</span> <i title="IOS Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pcapks3huberdozbvfqowysuly" style="color: black;">Semantic Web Journal</a> </i> &nbsp;
Optimized algorithms for answering expressive queries are provided, as well as features for intensional reasoning and consistency checking.  ...  connected to external JDBC enabled data management systems through semantic mappings that associate SQL queries over the external data to the elements of the ontology.  ...  FP7-257593), and by Regione Lazio under the project "Integrazione semantica di dati e servizi per le aziende in rete".  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/sw-2011-0029">doi:10.3233/sw-2011-0029</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/atlib3yy7jcbzpjf7kep24acoi">fatcat:atlib3yy7jcbzpjf7kep24acoi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120130214716/http://www.dis.uniroma1.it/~rosati/publications/Calvanese-etal-SW-11.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/1b/9f1bcaedca2930577b53e2bac90ee7463c2ec69a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/sw-2011-0029"> <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>

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;
With respect to the ABox we have introduced earlier, this conjunctive query has the pair of individuals: Dresden, Elbe as an answer.  ...  Conjunctive queries can be answered even in LogSpace regarding data complexity [14] , i.e. the size of the ABox.  ... 
<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>

Resolution-Based Approximate Reasoning for OWL DL [chapter]

Pascal Hitzler, Denny Vrandečić
<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 propose a new technique for approximate ABox reasoning with OWL DL ontologies. Essentially, we obtain substantially improved reasoning performance by disregarding non-Horn features of OWL DL.  ...  Our approach comes as a side-product of recent research results concerning a new transformation of OWL DL ontologies into negation-free disjunctive datalog [1, 2, 3, 4], and rests on the idea of performing  ...  We are grateful for discussions with Boris Motik about his and our work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11574620_29">doi:10.1007/11574620_29</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hanrvk64ojdudmzz3w632rqkcq">fatcat:hanrvk64ojdudmzz3w632rqkcq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503175129/https://link.springer.com/content/pdf/10.1007%2F11574620_29.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/97/87/978763d82994327c08b635564f78e61a999632b0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11574620_29"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A METHOD FOR IMPROVING REASONING AND REALIZATION PROBLEM SOLVING IN DESCRIPTIVE LOGIC- BASED AND ONTOLOGY-BASED REASONERS

Mojtaba Shokohinia, Abbas Dideban, Farzin Yaghmaee
<span title="2022-01-31">2022</span> <i title="Univ. of Malaya"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xcqic3sozzcvncfs2um5qebque" style="color: black;">Malaysian Journal of Computer Science</a> </i> &nbsp;
The main challenge in ontology reasoning methods is the failure in solving realization problems in the reasoning process.  ...  Thus, to solve the realization problem, we first partition the ontology or extract partitions related to the query.  ...  The authors of [38] present the a reasoner based on conjunctive query answering for DL programs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.22452/mjcs.vol35no1.3">doi:10.22452/mjcs.vol35no1.3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lmsottx43vh5xnkph3ra2mzdmu">fatcat:lmsottx43vh5xnkph3ra2mzdmu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220507184638/https://ejournal.um.edu.my/index.php/MJCS/article/download/20022/14286/83947" 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/37/5a/375abcebc66f9dc4b30c01cf091f21c4b6e7802a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.22452/mjcs.vol35no1.3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

SUMA: A Partial Materialization-Based Scalable Query Answering in OWL 2 DL

Xiaoyu Qin, Xiaowang Zhang, Muhammad Qasim Yasin, Shujun Wang, Zhiyong Feng, Guohui Xiao
<span title="2021-01-19">2021</span> <i title="Springer Science and Business Media LLC"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4pfqfq76vvcxljfl7mvdl37n5q" style="color: black;">Data Science and Engineering</a> </i> &nbsp;
AbstractOntology-mediated querying (OMQ) provides a paradigm for query answering according to which users not only query records at the database but also query implicit information inferred from ontology  ...  We also soundly and incompletely expand our method to support highly expressive ontology language, OWL 2 DL.  ...  Conclusions In this paper, we have proposed a partial materializationbased approach for ontology-mediated query answering over OWL 2 DL.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s41019-020-00150-0">doi:10.1007/s41019-020-00150-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/stlcsxwambdjbgiyfcjm6u3naq">fatcat:stlcsxwambdjbgiyfcjm6u3naq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210429080716/https://link.springer.com/content/pdf/10.1007/s41019-020-00150-0.pdf?error=cookies_not_supported&amp;code=329943a0-fc1c-484e-a2da-7a6847655e35" 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/21/64/2164248fab98d58eb4eb664921f6aa5452969b90.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s41019-020-00150-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a>

KA-SB: from data integration to large scale reasoning

María del Mar Roldán-García, Ismael Navas-Delgado, Amine Kerzazi, Othmane Chniber, Joaquín Molina-Castro, José F Aldana-Montes
<span title="">2009</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/n5zrklrhlzhtdorf4rk4rmeo3i" style="color: black;">BMC Bioinformatics</a> </i> &nbsp;
Methods: KA-SB is a querying and analysis system for final users based on combining a data integration solution with a reasoner.  ...  Results: In this paper we present a novel system that combines the use of a mediation system with the reasoning capabilities of a large scale reasoner to provide a way of finding new knowledge and of analyzing  ...  This article has been published as part of BMC Bioinformatics Volume 10 Supplement 10, 2009: Semantic Web Applications and Tools for Life Sciences, 2008.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/1471-2105-10-s10-s5">doi:10.1186/1471-2105-10-s10-s5</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/19796402">pmid:19796402</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC2755826/">pmcid:PMC2755826</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sknqm6iu6fa4zm5ffivrtc6xz4">fatcat:sknqm6iu6fa4zm5ffivrtc6xz4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830083318/https://bmcbioinformatics.biomedcentral.com/track/pdf/10.1186/1471-2105-10-S10-S5?site=http://bmcbioinformatics.biomedcentral.com" 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/33/be/33bea9e26fa34f907a373716860356bf6b5d0d0c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/1471-2105-10-s10-s5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2755826" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

OWL-POLAR: Semantic Policies for Agent Reasoning [chapter]

Murat Şensoy, Timothy J. Norman, Wamberto W. Vasconcelos, Katia Sycara
<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;
We then propose an OWL-based representation of policies that meets these criteria using and a reasoning mechanism that uses a novel combination of ontology consistency checking and query answering.  ...  Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agent-based systems.  ...  Policies, also called norms, help designers of large-scale, open, and heterogenous distributed systems (including multi-agent systems) to specify, in a concise fashion, acceptable (or policy-compliant)  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-17746-0_43">doi:10.1007/978-3-642-17746-0_43</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ymkeewacmvd7pglsfmibwh6usm">fatcat:ymkeewacmvd7pglsfmibwh6usm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171114130853/https://core.ac.uk/download/pdf/177232.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/47/26/4726c7a063f769117b1f43eb148f0c22e620b1be.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-17746-0_43"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming

Timothy van Bremen, Anton Dries, Jean Christoph Jung
<span title="2020-06-06">2020</span> <i title="Springer Science and Business Media LLC"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dlce7tvip5e5rlsv2ty3chnfpu" style="color: black;">Künstliche Intelligenz</a> </i> &nbsp;
Our tool supports conjunctive queries on probabilistic data under ontologies encoded in the description logic ELH dr , thus capturing a large part of the OWL 2 EL profile.  ...  We present onto2problog, a tool that supports ontology-mediated querying of probabilistic data via probabilistic logic programming engines.  ...  Unfortunately, this system is incomplete in the sense that it only works for certain safe combinations of query and ontology, and only for ontologies in DL-Lite [2] . On the other hand, Zese et al.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s13218-020-00670-x">doi:10.1007/s13218-020-00670-x</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/33343088">pmid:33343088</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC7732808/">pmcid:PMC7732808</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pv2pcdetkvgenmmyd2did552y4">fatcat:pv2pcdetkvgenmmyd2did552y4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210718005348/https://lirias2repo.kuleuven.be/bitstream/handle/123456789/672759/onto2problog%20A%20Probabilistic%20Ontology-Mediated%20Querying%20System%20using%20Probabilistic%20Logic%20Programming.pdf;jsessionid=D92F9A20050FC060E17199573CAAF2DA?sequence=2" 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/1e/00/1e0019e4a1b53f0ca71c7226903ffad20580e74a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s13218-020-00670-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7732808" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies

Jia Xu, Patrick Shironoshita, Ubbo Visser, Nigel John, Mansur Kabuka
<span title="">2015</span> <i title="Scientific Research Publishing, Inc,"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/w7yotu26hfchfht6vzmiobfdwa" style="color: black;">International Journal of Intelligence Science</a> </i> &nbsp;
With independence between computed MSC's, scalability for query answering can also be achieved by distributing and parallelizing the computations.  ...  Efficiently querying Description Logic (DL) ontologies is becoming a vital task in various data-intensive DL applications.  ...  Scalability Evaluation Using the MSC  method for query answering over large ontologies is intended for distributed (parallel) computing.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4236/ijis.2015.51005">doi:10.4236/ijis.2015.51005</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/26594595">pmid:26594595</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC4652860/">pmcid:PMC4652860</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/v7qmu4nft5d25e56cbp2hvbz34">fatcat:v7qmu4nft5d25e56cbp2hvbz34</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150911164400/http://www.scirp.org/Journal/PaperDownload.aspx?downloadType=epub&amp;paperID=52931" 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/a3/c3/a3c38970dd5425b8f319c25a1e7dc8fd7c7f75cc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4236/ijis.2015.51005"> <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> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4652860" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 449 results