Disjunctive logic programs with inheritance
The paper proposes a new knowledge representation language, called DLP<, which extends disjunctive logic programming (with strong negation) by inheritance. The addition of inheritance enhances the knowledge modeling features of the language providing a natural representation of default reasoning...
Gespeichert in:
| Veröffentlicht in: | Theory and practice of logic programming Jg. 2; H. 3; S. 293 - 321 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge, UK
Cambridge University Press
01.05.2002
|
| Schlagworte: | |
| ISSN: | 1471-0684, 1475-3081 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | The paper proposes a new knowledge representation language, called DLP<, which extends
disjunctive logic programming (with strong negation) by inheritance. The addition of inheritance
enhances the knowledge modeling features of the language providing a natural
representation of default reasoning with exceptions. A declarative model-theoretic semantics
of DLP< is provided, which is shown to generalize the Answer Set Semantics of disjunctive
logic programs. The knowledge modeling features of the language are illustrated by encoding
classical nonmonotonic problems in DLP<. The complexity of DLP< is analyzed, proving
that inheritance does not cause any computational overhead, as reasoning in DLP< has exactly
the same complexity as reasoning in disjunctive logic programming. This is confirmed by
the existence of an efficient translation from DLP< to plain disjunctive logic programming.
Using this translation, an advanced KR system supporting the DLP< language has been
implemented on top of the DLV system and has subsequently been integrated into DLV. |
|---|---|
| AbstractList | The paper proposes a new knowledge representation language, called DLP < , which extends disjunctive logic programming (with strong negation) by inheritance. The addition of inheritance enhances the knowledge modeling features of the language providing a natural representation of default reasoning with exceptions. A declarative model-theoretic semantics of DLP < is provided, which is shown to generalize the Answer Set Semantics of disjunctive logic programs. The knowledge modeling features of the language are illustrated by encoding classical nonmonotonic problems in DLP < . The complexity of DLP < is analyzed, proving that inheritance does not cause any computational overhead, as reasoning in DLP < has exactly the same complexity as reasoning in disjunctive logic programming. This is confirmed by the existence of an efficient translation from DLP < to plain disjunctive logic programming. Using this translation, an advanced KR system supporting the DLP < language has been implemented on top of the DLV system and has subsequently been integrated into DLV . The paper proposes a new knowledge representation language, called DLP[Lt], which extends disjunctive logic programming (with strong negation) by inheritance. The addition of inheritance enhances the knowledge modeling features of the language providing a natural representation of default reasoning with exceptions. A declarative model-theoretic semantics of DLP[Lt] is provided, which is shown to generalize the Answer Set Semantics of disjunctive logic programs. The knowledge modeling features of the language are illustrated by encoding classical nonmonotonic problems in DLP[Lt]. The complexity of DLP[Lt] is analyzed, proving that inheritance does not cause any computational overhead, as reasoning in DLP[Lt] has exactly the same complexity as reasoning in disjunctive logic programming. This is confirmed by the existence of an efficient translation from DLP[Lt] to plain disjunctive logic programming. Using this translation, an advanced KR system supporting the DLP[Lt] language has been implemented on top of the DLV system and has subsequently been integrated into DLV. The paper proposes a new knowledge representation language, called DLP<, which extends disjunctive logic programming (with strong negation) by inheritance. The addition of inheritance enhances the knowledge modeling features of the language providing a natural representation of default reasoning with exceptions. A declarative model-theoretic semantics of DLP< is provided, which is shown to generalize the Answer Set Semantics of disjunctive logic programs. The knowledge modeling features of the language are illustrated by encoding classical nonmonotonic problems in DLP<. The complexity of DLP< is analyzed, proving that inheritance does not cause any computational overhead, as reasoning in DLP< has exactly the same complexity as reasoning in disjunctive logic programming. This is confirmed by the existence of an efficient translation from DLP< to plain disjunctive logic programming. Using this translation, an advanced KR system supporting the DLP< language has been implemented on top of the DLV system and has subsequently been integrated into DLV. [PUBLICATION ABSTRACT] The paper proposes a new knowledge representation language, called DLP<, which extends disjunctive logic programming (with strong negation) by inheritance. The addition of inheritance enhances the knowledge modeling features of the language providing a natural representation of default reasoning with exceptions. A declarative model-theoretic semantics of DLP< is provided, which is shown to generalize the Answer Set Semantics of disjunctive logic programs. The knowledge modeling features of the language are illustrated by encoding classical nonmonotonic problems in DLP<. The complexity of DLP< is analyzed, proving that inheritance does not cause any computational overhead, as reasoning in DLP< has exactly the same complexity as reasoning in disjunctive logic programming. This is confirmed by the existence of an efficient translation from DLP< to plain disjunctive logic programming. Using this translation, an advanced KR system supporting the DLP< language has been implemented on top of the DLV system and has subsequently been integrated into DLV. |
| Author | FABER, WOLFGANG BUCCAFURRI, FRANCESCO LEONE, NICOLA |
| Author_xml | – sequence: 1 givenname: FRANCESCO surname: BUCCAFURRI fullname: BUCCAFURRI, FRANCESCO email: bucca@ing.unirc.it organization: DIMET – Università di Reggio Calabria 89100, Reggio Calabria, Italia (e-mail: bucca@ing.unirc.it) – sequence: 2 givenname: WOLFGANG surname: FABER fullname: FABER, WOLFGANG email: faber@kr.tuwien.ac.at organization: Institut für Informationssysteme, Technische Universität Wien, 1040 Vienna, Austria (e-mail: faber@kr.tuwien.ac.at) – sequence: 3 givenname: NICOLA surname: LEONE fullname: LEONE, NICOLA email: leone@unical.it organization: Dipartimento di Matematica, Università degli Studi della Calabria, 87030 Rende (CS), Italia (e-mail: leone@unical.it) |
| BookMark | eNp9kF1LwzAUhoNMcJv-AO-KF95INWnStLmU-QkDL9TrkianW0abziRV_PdmbiBM9CqHnOc5vLwTNLK9BYROCb4kmBRXz4QVBPOS4QxjQgU7QOP4lacUl2T0PZN0sz9CE-9XkeE0Y2N0cWP8arAqmHdI2n5hVLJ2_cLJzicfJiwTY5fgTJBWwTE6bGTr4WT3TtHr3e3L7CGdP90_zq7nqaIsDylvhOJYUarLusiB61yDBilpo3GpeS0hx7mmgosaihLXRHGRNYwzQWsuSkmn6Hx7NyZ5G8CHqjNeQdtKC_3gKyI4KQUvIni2B676wdmYrcpiKUQwLCJEtpByvfcOmmrtTCfdZ0Vwtemu-tVddIo9R8UKgultcNK0_5p0Z8qudkYv4CfT39YXjt-CcA |
| CitedBy_id | crossref_primary_10_1111_j_0824_7935_2004_00240_x crossref_primary_10_1145_1149114_1149117 crossref_primary_10_1017_S1471068421000570 crossref_primary_10_1016_j_artint_2008_05_002 crossref_primary_10_1017_S147106841300063X crossref_primary_10_1007_s10506_023_09360_z crossref_primary_10_1016_j_artint_2017_12_005 |
| ContentType | Journal Article |
| Copyright | 2002 Cambridge University Press |
| Copyright_xml | – notice: 2002 Cambridge University Press |
| DBID | AAYXX CITATION 3V. 7SC 7XB 8AL 8FD 8FE 8FG 8FK ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L7M L~C L~D M0N P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS Q9U FR3 P64 RC3 |
| DOI | 10.1017/S1471068402001394 |
| DatabaseName | CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ProQuest Central (Alumni) ProQuest Central UK/Ireland ProQuest SciTech Premium Collection Technology Collection Advanced Technologies & Aerospace Collection ProQuest Central Essentials - QC ProQuest Central ProQuest Technology Collection ProQuest One ProQuest Central ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection Proquest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China ProQuest Central Basic Engineering Research Database Biotechnology and BioEngineering Abstracts Genetics Abstracts |
| DatabaseTitle | CrossRef Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Central Korea ProQuest Central (New) Advanced Technologies Database with Aerospace Advanced Technologies & Aerospace Collection ProQuest Computing ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New) Genetics Abstracts Engineering Research Database Biotechnology and BioEngineering Abstracts |
| DatabaseTitleList | CrossRef Genetics Abstracts Computer Science Database |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1475-3081 |
| EndPage | 321 |
| ExternalDocumentID | 1403133331 10_1017_S1471068402001394 |
| Genre | Feature |
| GroupedDBID | -E. .FH 09C 09E 0E1 0R~ 123 29Q 3V. 4.4 5VS 74X 74Y 7~V 8FE 8FG 8R4 8R5 AAAZR AABES AABWE AACJH AAFUK AAGFV AAKTX AANRG AARAB AASVR AAUKB AAYOK ABBXD ABITZ ABJNI ABKKG ABMWE ABQTM ABQWD ABROB ABTCQ ABUWG ABVKB ABVZP ABZCX ACAJB ACBMC ACDLN ACGFS ACIMK ACNCT ACUIJ ACYZP ACZBM ACZUX ACZWT ADCGK ADDNB ADFEC ADKIL ADOVH ADVJH AEBAK AEHGV AEMTW AENEX AENGE AEYYC AFFUJ AFKQG AFKRA AFLOS AFLVW AFUTZ AFZFC AGABE AGBYD AGJUD AHQXX AHRGI AIGNW AIHIV AIOIP AISIE AJ7 AJCYY AJPFC AJQAS ALMA_UNASSIGNED_HOLDINGS ALVPG ALWZO AQJOH ARABE ARAPS ATUCA AUXHV AZQEC BBLKV BENPR BGHMG BGLVJ BLZWO BMAJL BPHCQ C0O CAG CBIIA CCPQU CCQAD CCTKK CFAFE CHEAL CJCSC COF CS3 DC4 DOHLZ DU5 DWQXO EBS EJD GNUQQ HCIFZ HG- HST HZ~ I.6 IH6 IOEEP IS6 I~P J36 J38 J3A J9A JHPGK JQKCU K6V K7- KCGVB KFECR L98 LW7 M-V M0N NIKVX O9- OK1 OYBOY P2P P62 PQQKQ PROAC PYCCK Q2X RAMDC RCA ROL RR0 S6- S6U SAAAG T9M UT1 WFFJZ WQ3 WXU WYP ZYDXJ AAYXX ABGDZ ABXHF AFFHD AKMAY CITATION IPYYG PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D PKEHL PQEST PQUKI PRINS Q9U FR3 P64 RC3 |
| ID | FETCH-LOGICAL-c345t-6f9c60c33d8b75e6d5dedeaa3fd08d6bae505d3969be780b1c692f46493b698a3 |
| IEDL.DBID | BENPR |
| ISICitedReferencesCount | 11 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000175420500002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1471-0684 |
| IngestDate | Sun Nov 09 13:37:12 EST 2025 Sun Nov 09 06:46:11 EST 2025 Sat Nov 29 07:51:15 EST 2025 Tue Nov 18 21:54:55 EST 2025 Tue Jan 21 06:23:48 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 3 |
| Keywords | inheritance knowledge representation nonmonotonic reasoning disjunctive logic programming exceptions |
| Language | English |
| License | https://www.cambridge.org/core/terms |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c345t-6f9c60c33d8b75e6d5dedeaa3fd08d6bae505d3969be780b1c692f46493b698a3 |
| Notes | SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 ObjectType-Article-1 ObjectType-Feature-2 content type line 23 |
| PQID | 201719409 |
| PQPubID | 43613 |
| PageCount | 29 |
| ParticipantIDs | proquest_miscellaneous_19618967 proquest_journals_201719409 crossref_primary_10_1017_S1471068402001394 crossref_citationtrail_10_1017_S1471068402001394 cambridge_journals_10_1017_S1471068402001394 |
| PublicationCentury | 2000 |
| PublicationDate | 2002-05-01 |
| PublicationDateYYYYMMDD | 2002-05-01 |
| PublicationDate_xml | – month: 05 year: 2002 text: 2002-05-01 day: 01 |
| PublicationDecade | 2000 |
| PublicationPlace | Cambridge, UK |
| PublicationPlace_xml | – name: Cambridge, UK – name: Cambridge |
| PublicationTitle | Theory and practice of logic programming |
| PublicationTitleAlternate | Theory and Practice of Logic Programming |
| PublicationYear | 2002 |
| Publisher | Cambridge University Press |
| Publisher_xml | – name: Cambridge University Press |
| SSID | ssj0016324 |
| Score | 1.7752646 |
| Snippet | The paper proposes a new knowledge representation language, called DLP<, which extends
disjunctive logic programming (with strong negation) by inheritance. The... The paper proposes a new knowledge representation language, called DLP < , which extends disjunctive logic programming (with strong negation) by inheritance.... The paper proposes a new knowledge representation language, called DLP<, which extends disjunctive logic programming (with strong negation) by inheritance. The... The paper proposes a new knowledge representation language, called DLP[Lt], which extends disjunctive logic programming (with strong negation) by inheritance.... |
| SourceID | proquest crossref cambridge |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 293 |
| Title | Disjunctive logic programs with inheritance |
| URI | https://www.cambridge.org/core/product/identifier/S1471068402001394/type/journal_article https://www.proquest.com/docview/201719409 https://www.proquest.com/docview/19618967 |
| Volume | 2 |
| WOSCitedRecordID | wos000175420500002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1475-3081 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: P5Z dateStart: 20010101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1475-3081 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: K7- dateStart: 20010101 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1475-3081 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: BENPR dateStart: 20010101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LSwMxEB58HbxYn1ife_AkBtImm8dJVCyCUIooFC9l81hQZFv78Peb2WZXi9CLlz1kMxCSmckkM_k-gAudamqU4cSZTBLe8oxonzGSS9PWijujItmE7HZVv697sTZnEssqK59YOmo3tHhHHg7pLRkO3FRfjz4JkkZhcjUyaKzCOgKVBTVfv73v9p7qNAJikZfPiySW9yhepTURMxobsY22yzCI_wZXWNykFn10ufF0Gv8c8jZsxYgzuZmryA6s-GIXGhWbQxKNew8QiPM97HLo_5LSIyaxeGuS4G1t8lbgW8Epqsk-vHTun-8eSKRSIJbxdEpErq2gljGnjEy9cKnzzmcZyx1VTpjMh0jIMS208VJR07JCt3MuuGZGaJWxA1grhoU_hMSknuZMYILQcBPOX1RkNgS_jgtmU8abcFXP4yAaxGQwLyaTgz_T3gRaTfXARlhyZMf4WCZyWYuM5pgcyzofV4vzM5p6ZZpwXv8NdoXJkqzww1kYMFLhaCGPlsofw2ZJD1NWQJ7A2nQ886ewYb-mb5PxWVTHM1h9lCR8e-nrNzlt5F4 |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1JS8QwFH7oKOjFXRzXHvQiFjJNmuUg4oqiDiIK3mqzFBTpqDMq_ij_o3mdtirC3Dx4TZsS-va85QNYV7EiWmoWWp2KkLUcDZVLaZgJHSnJrJYl2IRot-XNjboYgo-qFwbLKiudWChq2zF4R-6D9JbwATdRO49PIYJGYXK1QtDoc8Wpe3_zEVt3--TAk3cjio4Or_aPwxJUIDSUxb2QZ8pwYii1UovYcRtbZ12a0swSablOnfcJLFVcaSck0S3DVZQxzhTVXMmU-u8OwwijjMcNGNk7bF9c1mkLnH1etDMJLCeSrEqj4oxqXMQ1EhVuF_s-zOGnUfxpEwpDdzT5z37RFEyUHnWw2xeBaRhy-QxMVmgVQam8ZgEHjd57K476PSg0flAWp3UDvI0O7nLsheyhGMzB9Z8ceR4aeSd3CxDo2JGMckyAaqZ9fEl4arxzbxmnJqasCVs13ZJS4LtJv1hOJL_I3ARSkTYx5dh1RP94GLRls97y2J85MujlpYoZvk5Tc0IT1uqnXm9gMijNXefFHxihfhQXiwP3r8HY8dX5WXJ20j5dgvECCqeo9lyGRu_5xa3AqHnt3XWfV0tRCOD2r1nrEyGjQT0 |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Disjunctive+logic+programs+with+inheritance&rft.jtitle=Theory+and+practice+of+logic+programming&rft.au=BUCCAFURRI%2C+FRANCESCO&rft.au=FABER%2C+WOLFGANG&rft.au=LEONE%2C+NICOLA&rft.date=2002-05-01&rft.issn=1471-0684&rft.eissn=1475-3081&rft.volume=2&rft.issue=3&rft.spage=293&rft.epage=321&rft_id=info:doi/10.1017%2FS1471068402001394&rft.externalDBID=n%2Fa&rft.externalDocID=10_1017_S1471068402001394 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1471-0684&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1471-0684&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1471-0684&client=summon |