Efficient Description Logic Reasoning in Prolog: The DLog system

Efficient Description Logic Reasoning in Prolog: The DLog system

This paper describes a resolution based Description Logic reasoning system called DLog. DLog transforms Description Logic axioms into a Prolog program and uses the standard Prolog execution for efficiently answering instance retrieval queries. From the Description Logic point of view, DLog is an ABo...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:arXiv.org 2009-04
Hauptverfasser: Lukácsy, Gergely, Szeredi, Péter
Format: Artikel
Sprache:eng
Schlagworte:
Axioms
Information sources
Logic programming
Prolog
Reasoning
Reasoning programs
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title arXiv.org
container_volume
creator Lukácsy, Gergely
Szeredi, Péter
description This paper describes a resolution based Description Logic reasoning system called DLog. DLog transforms Description Logic axioms into a Prolog program and uses the standard Prolog execution for efficiently answering instance retrieval queries. From the Description Logic point of view, DLog is an ABox reasoning engine for the full SHIQ language. The DLog approach makes it possible to store the individuals in a database instead of memory, which results in better scalability and helps using description logic ontologies directly on top of existing information sources. To appear in Theory and Practice of Logic Programming (TPLP).
format Article
fullrecord <record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_journals_2087657913</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2087657913</sourcerecordid><originalsourceid>FETCH-proquest_journals_20876579133</originalsourceid><addsrcrecordid>eNpjYuA0MjY21LUwMTLiYOAtLs4yMDAwMjM3MjU15mRwcE1Ly0zOTM0rUXBJLU4uyiwoyczPU_DJT89MVghKTSzOz8vMS1fIzFMIKMrPyU-3UgjJSFVwAcorFFcWl6Tm8jCwpiXmFKfyQmluBmU31xBnD92CovzC0tTikvis_NKiPKBUvJGBhbmZqbmlobExcaoA9o84eg</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2087657913</pqid></control><display><type>article</type><title>Efficient Description Logic Reasoning in Prolog: The DLog system</title><source>Free E- Journals</source><creator>Lukácsy, Gergely ; Szeredi, Péter</creator><creatorcontrib>Lukácsy, Gergely ; Szeredi, Péter</creatorcontrib><description>This paper describes a resolution based Description Logic reasoning system called DLog. DLog transforms Description Logic axioms into a Prolog program and uses the standard Prolog execution for efficiently answering instance retrieval queries. From the Description Logic point of view, DLog is an ABox reasoning engine for the full SHIQ language. The DLog approach makes it possible to store the individuals in a database instead of memory, which results in better scalability and helps using description logic ontologies directly on top of existing information sources. To appear in Theory and Practice of Logic Programming (TPLP).</description><identifier>EISSN: 2331-8422</identifier><language>eng</language><publisher>Ithaca: Cornell University Library, arXiv.org</publisher><subject>Axioms ; Information sources ; Logic programming ; Prolog ; Reasoning ; Reasoning programs</subject><ispartof>arXiv.org, 2009-04</ispartof><rights>2009. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>776,780</link.rule.ids></links><search><creatorcontrib>Lukácsy, Gergely</creatorcontrib><creatorcontrib>Szeredi, Péter</creatorcontrib><title>Efficient Description Logic Reasoning in Prolog: The DLog system</title><title>arXiv.org</title><description>This paper describes a resolution based Description Logic reasoning system called DLog. DLog transforms Description Logic axioms into a Prolog program and uses the standard Prolog execution for efficiently answering instance retrieval queries. From the Description Logic point of view, DLog is an ABox reasoning engine for the full SHIQ language. The DLog approach makes it possible to store the individuals in a database instead of memory, which results in better scalability and helps using description logic ontologies directly on top of existing information sources. To appear in Theory and Practice of Logic Programming (TPLP).</description><subject>Axioms</subject><subject>Information sources</subject><subject>Logic programming</subject><subject>Prolog</subject><subject>Reasoning</subject><subject>Reasoning programs</subject><issn>2331-8422</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2009</creationdate><recordtype>article</recordtype><sourceid>BENPR</sourceid><recordid>eNpjYuA0MjY21LUwMTLiYOAtLs4yMDAwMjM3MjU15mRwcE1Ly0zOTM0rUXBJLU4uyiwoyczPU_DJT89MVghKTSzOz8vMS1fIzFMIKMrPyU-3UgjJSFVwAcorFFcWl6Tm8jCwpiXmFKfyQmluBmU31xBnD92CovzC0tTikvis_NKiPKBUvJGBhbmZqbmlobExcaoA9o84eg</recordid><startdate>20090409</startdate><enddate>20090409</enddate><creator>Lukácsy, Gergely</creator><creator>Szeredi, Péter</creator><general>Cornell University Library, arXiv.org</general><scope>8FE</scope><scope>8FG</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>HCIFZ</scope><scope>L6V</scope><scope>M7S</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope></search><sort><creationdate>20090409</creationdate><title>Efficient Description Logic Reasoning in Prolog: The DLog system</title><author>Lukácsy, Gergely ; Szeredi, Péter</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-proquest_journals_20876579133</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2009</creationdate><topic>Axioms</topic><topic>Information sources</topic><topic>Logic programming</topic><topic>Prolog</topic><topic>Reasoning</topic><topic>Reasoning programs</topic><toplevel>online_resources</toplevel><creatorcontrib>Lukácsy, Gergely</creatorcontrib><creatorcontrib>Szeredi, Péter</creatorcontrib><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Materials Science &amp; Engineering Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Engineering Collection</collection><collection>Engineering Database</collection><collection>Publicly Available Content Database</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Lukácsy, Gergely</au><au>Szeredi, Péter</au><format>book</format><genre>document</genre><ristype>GEN</ristype><atitle>Efficient Description Logic Reasoning in Prolog: The DLog system</atitle><jtitle>arXiv.org</jtitle><date>2009-04-09</date><risdate>2009</risdate><eissn>2331-8422</eissn><abstract>This paper describes a resolution based Description Logic reasoning system called DLog. DLog transforms Description Logic axioms into a Prolog program and uses the standard Prolog execution for efficiently answering instance retrieval queries. From the Description Logic point of view, DLog is an ABox reasoning engine for the full SHIQ language. The DLog approach makes it possible to store the individuals in a database instead of memory, which results in better scalability and helps using description logic ontologies directly on top of existing information sources. To appear in Theory and Practice of Logic Programming (TPLP).</abstract><cop>Ithaca</cop><pub>Cornell University Library, arXiv.org</pub><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier EISSN: 2331-8422
ispartof arXiv.org, 2009-04
issn 2331-8422
language eng
recordid cdi_proquest_journals_2087657913
source Free E- Journals
subjects Axioms
Information sources
Logic programming
Prolog
Reasoning
Reasoning programs
title Efficient Description Logic Reasoning in Prolog: The DLog system
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-02T19%3A36%3A37IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=document&rft.atitle=Efficient%20Description%20Logic%20Reasoning%20in%20Prolog:%20The%20DLog%20system&rft.jtitle=arXiv.org&rft.au=Luk%C3%A1csy,%20Gergely&rft.date=2009-04-09&rft.eissn=2331-8422&rft_id=info:doi/&rft_dat=%3Cproquest%3E2087657913%3C/proquest%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2087657913&rft_id=info:pmid/&rfr_iscdi=true