Debugging Incoherent Terminologies
Issue Title: Special Issue on Reasoning in Description Logics In this paper we study the diagnosis and repair of incoherent terminologies. We define a number of new nonstandard reasoning services to explain incoherence through pinpointing, and we present algorithms for all of these services. For one...
Gespeichert in:
| Veröffentlicht in: | Journal of automated reasoning 2007-10, Vol.39 (3), p.317-349 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 349 |
|---|---|
| container_issue | 3 |
| container_start_page | 317 |
| container_title | Journal of automated reasoning |
| container_volume | 39 |
| creator | Schlobach, Stefan Huang, Zhisheng Cornet, Ronald van Harmelen, Frank |
| description | Issue Title: Special Issue on Reasoning in Description Logics In this paper we study the diagnosis and repair of incoherent terminologies. We define a number of new nonstandard reasoning services to explain incoherence through pinpointing, and we present algorithms for all of these services. For one of the core tasks of debugging, the calculation of minimal unsatisfiability preserving subterminologies, we developed two different algorithms, one implementing a bottom-up approach using support of an external description logic reasoner, the other implementing a specialized tableau-based calculus. Both algorithms have been prototypically implemented. We study the effectiveness of our algorithms in two ways: we present a realistic case study where we diagnose a terminology used in a practical application, and we perform controlled benchmark experiments to get a better understanding of the computational properties of our algorithms in particular and the debugging problem in general.[PUBLICATION ABSTRACT] |
| doi_str_mv | 10.1007/s10817-007-9076-z |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_1367562263</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2995823531</sourcerecordid><originalsourceid>FETCH-LOGICAL-c316t-5f3e7f05acd7a1b71be34e1109a4ba97d3a046e41ce5bdb5b64aae926b8caec63</originalsourceid><addsrcrecordid>eNotkLFOwzAURS0EEqHwAWwVzIb34thORlQoVKrEUmbLdl5CqjYpdjLQrydRmO4Zru6VDmP3CE8IoJ8jQo6aj8gL0IqfL1iCUgsOSsMlSwBVznUmxDW7iXEPAAKhSNjDK7mhrpu2Xm5a331ToLZf7igcm7Y7dHVD8ZZdVfYQ6e4_F-xr_bZbffDt5_tm9bLlXqDquawE6Qqk9aW26DQ6Ehnh-GIzZwtdCguZogw9SVc66VRmLRWpcrm35JVYsMd59xS6n4Fib_bdENrx0qBQWqo0VWJs4dzyoYsxUGVOoTna8GsQzKTCzCrMhJMKcxZ_G7BReg</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1367562263</pqid></control><display><type>article</type><title>Debugging Incoherent Terminologies</title><source>SpringerLink Journals</source><creator>Schlobach, Stefan ; Huang, Zhisheng ; Cornet, Ronald ; van Harmelen, Frank</creator><creatorcontrib>Schlobach, Stefan ; Huang, Zhisheng ; Cornet, Ronald ; van Harmelen, Frank</creatorcontrib><description>Issue Title: Special Issue on Reasoning in Description Logics In this paper we study the diagnosis and repair of incoherent terminologies. We define a number of new nonstandard reasoning services to explain incoherence through pinpointing, and we present algorithms for all of these services. For one of the core tasks of debugging, the calculation of minimal unsatisfiability preserving subterminologies, we developed two different algorithms, one implementing a bottom-up approach using support of an external description logic reasoner, the other implementing a specialized tableau-based calculus. Both algorithms have been prototypically implemented. We study the effectiveness of our algorithms in two ways: we present a realistic case study where we diagnose a terminology used in a practical application, and we perform controlled benchmark experiments to get a better understanding of the computational properties of our algorithms in particular and the debugging problem in general.[PUBLICATION ABSTRACT]</description><identifier>ISSN: 0168-7433</identifier><identifier>EISSN: 1573-0670</identifier><identifier>DOI: 10.1007/s10817-007-9076-z</identifier><language>eng</language><publisher>Dordrecht: Springer Nature B.V</publisher><subject>Algorithms ; Debugging ; Studies</subject><ispartof>Journal of automated reasoning, 2007-10, Vol.39 (3), p.317-349</ispartof><rights>Springer Science+Business Media B.V. 2007</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c316t-5f3e7f05acd7a1b71be34e1109a4ba97d3a046e41ce5bdb5b64aae926b8caec63</citedby><cites>FETCH-LOGICAL-c316t-5f3e7f05acd7a1b71be34e1109a4ba97d3a046e41ce5bdb5b64aae926b8caec63</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,27901,27902</link.rule.ids></links><search><creatorcontrib>Schlobach, Stefan</creatorcontrib><creatorcontrib>Huang, Zhisheng</creatorcontrib><creatorcontrib>Cornet, Ronald</creatorcontrib><creatorcontrib>van Harmelen, Frank</creatorcontrib><title>Debugging Incoherent Terminologies</title><title>Journal of automated reasoning</title><description>Issue Title: Special Issue on Reasoning in Description Logics In this paper we study the diagnosis and repair of incoherent terminologies. We define a number of new nonstandard reasoning services to explain incoherence through pinpointing, and we present algorithms for all of these services. For one of the core tasks of debugging, the calculation of minimal unsatisfiability preserving subterminologies, we developed two different algorithms, one implementing a bottom-up approach using support of an external description logic reasoner, the other implementing a specialized tableau-based calculus. Both algorithms have been prototypically implemented. We study the effectiveness of our algorithms in two ways: we present a realistic case study where we diagnose a terminology used in a practical application, and we perform controlled benchmark experiments to get a better understanding of the computational properties of our algorithms in particular and the debugging problem in general.[PUBLICATION ABSTRACT]</description><subject>Algorithms</subject><subject>Debugging</subject><subject>Studies</subject><issn>0168-7433</issn><issn>1573-0670</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2007</creationdate><recordtype>article</recordtype><sourceid>BENPR</sourceid><recordid>eNotkLFOwzAURS0EEqHwAWwVzIb34thORlQoVKrEUmbLdl5CqjYpdjLQrydRmO4Zru6VDmP3CE8IoJ8jQo6aj8gL0IqfL1iCUgsOSsMlSwBVznUmxDW7iXEPAAKhSNjDK7mhrpu2Xm5a331ToLZf7igcm7Y7dHVD8ZZdVfYQ6e4_F-xr_bZbffDt5_tm9bLlXqDquawE6Qqk9aW26DQ6Ehnh-GIzZwtdCguZogw9SVc66VRmLRWpcrm35JVYsMd59xS6n4Fib_bdENrx0qBQWqo0VWJs4dzyoYsxUGVOoTna8GsQzKTCzCrMhJMKcxZ_G7BReg</recordid><startdate>200710</startdate><enddate>200710</enddate><creator>Schlobach, Stefan</creator><creator>Huang, Zhisheng</creator><creator>Cornet, Ronald</creator><creator>van Harmelen, Frank</creator><general>Springer Nature B.V</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>8FE</scope><scope>8FG</scope><scope>ABJCF</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>GNUQQ</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K7-</scope><scope>L6V</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>M7S</scope><scope>P5Z</scope><scope>P62</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope></search><sort><creationdate>200710</creationdate><title>Debugging Incoherent Terminologies</title><author>Schlobach, Stefan ; Huang, Zhisheng ; Cornet, Ronald ; van Harmelen, Frank</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c316t-5f3e7f05acd7a1b71be34e1109a4ba97d3a046e41ce5bdb5b64aae926b8caec63</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2007</creationdate><topic>Algorithms</topic><topic>Debugging</topic><topic>Studies</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Schlobach, Stefan</creatorcontrib><creatorcontrib>Huang, Zhisheng</creatorcontrib><creatorcontrib>Cornet, Ronald</creatorcontrib><creatorcontrib>van Harmelen, Frank</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Materials Science & Engineering Collection</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies & Aerospace Collection</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>ProQuest Central Student</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer Science Database</collection><collection>ProQuest Engineering Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Engineering Database</collection><collection>Advanced Technologies & Aerospace Database</collection><collection>ProQuest Advanced Technologies & Aerospace Collection</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><jtitle>Journal of automated reasoning</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Schlobach, Stefan</au><au>Huang, Zhisheng</au><au>Cornet, Ronald</au><au>van Harmelen, Frank</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Debugging Incoherent Terminologies</atitle><jtitle>Journal of automated reasoning</jtitle><date>2007-10</date><risdate>2007</risdate><volume>39</volume><issue>3</issue><spage>317</spage><epage>349</epage><pages>317-349</pages><issn>0168-7433</issn><eissn>1573-0670</eissn><abstract>Issue Title: Special Issue on Reasoning in Description Logics In this paper we study the diagnosis and repair of incoherent terminologies. We define a number of new nonstandard reasoning services to explain incoherence through pinpointing, and we present algorithms for all of these services. For one of the core tasks of debugging, the calculation of minimal unsatisfiability preserving subterminologies, we developed two different algorithms, one implementing a bottom-up approach using support of an external description logic reasoner, the other implementing a specialized tableau-based calculus. Both algorithms have been prototypically implemented. We study the effectiveness of our algorithms in two ways: we present a realistic case study where we diagnose a terminology used in a practical application, and we perform controlled benchmark experiments to get a better understanding of the computational properties of our algorithms in particular and the debugging problem in general.[PUBLICATION ABSTRACT]</abstract><cop>Dordrecht</cop><pub>Springer Nature B.V</pub><doi>10.1007/s10817-007-9076-z</doi><tpages>33</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0168-7433 |
| ispartof | Journal of automated reasoning, 2007-10, Vol.39 (3), p.317-349 |
| issn | 0168-7433 1573-0670 |
| language | eng |
| recordid | cdi_proquest_journals_1367562263 |
| source | SpringerLink Journals |
| subjects | Algorithms Debugging Studies |
| title | Debugging Incoherent Terminologies |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-08T12%3A03%3A28IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Debugging%20Incoherent%20Terminologies&rft.jtitle=Journal%20of%20automated%20reasoning&rft.au=Schlobach,%20Stefan&rft.date=2007-10&rft.volume=39&rft.issue=3&rft.spage=317&rft.epage=349&rft.pages=317-349&rft.issn=0168-7433&rft.eissn=1573-0670&rft_id=info:doi/10.1007/s10817-007-9076-z&rft_dat=%3Cproquest_cross%3E2995823531%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=1367562263&rft_id=info:pmid/&rfr_iscdi=true |