Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases

The necessity to manage inconsistency in Description Logics Knowledge Bases (KBs) has come to the fore with the increasing importance gained by the Semantic Web, where information comes from different sources that constantly change their content and may contain contradictory descriptions when consid...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Logical methods in computer science Ročník 21, Issue 3
Hlavní autoři: Zese, Riccardo, Lamma, Evelina, Riguzzi, Fabrizio
Médium: Journal Article
Jazyk:angličtina
Vydáno: Logical Methods in Computer Science e.V 05.08.2025
Témata:
artificial intelligence
logic in computer science
ISSN:1860-5974, 1860-5974
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Abstract The necessity to manage inconsistency in Description Logics Knowledge Bases (KBs) has come to the fore with the increasing importance gained by the Semantic Web, where information comes from different sources that constantly change their content and may contain contradictory descriptions when considered either alone or together. Classical reasoning algorithms do not handle inconsistent KBs, forcing the debugging of the KB in order to remove the inconsistency. In this paper, we exploit an existing probabilistic semantics called DISPONTE to overcome this problem and allow queries also in case of inconsistent KBs. We implemented our approach in the reasoners TRILL and BUNDLE and empirically tested the validity of our proposal. Moreover, we formally compare the presented approach to that of the repair semantics, one of the most established semantics when considering DL reasoning tasks.
AbstractList The necessity to manage inconsistency in Description Logics Knowledge Bases (KBs) has come to the fore with the increasing importance gained by the Semantic Web, where information comes from different sources that constantly change their content and may contain contradictory descriptions when considered either alone or together. Classical reasoning algorithms do not handle inconsistent KBs, forcing the debugging of the KB in order to remove the inconsistency. In this paper, we exploit an existing probabilistic semantics called DISPONTE to overcome this problem and allow queries also in case of inconsistent KBs. We implemented our approach in the reasoners TRILL and BUNDLE and empirically tested the validity of our proposal. Moreover, we formally compare the presented approach to that of the repair semantics, one of the most established semantics when considering DL reasoning tasks.
Author Lamma, Evelina
Riguzzi, Fabrizio
Zese, Riccardo
Author_xml – sequence: 1
  givenname: Riccardo
  surname: Zese
  fullname: Zese, Riccardo
– sequence: 2
  givenname: Evelina
  surname: Lamma
  fullname: Lamma, Evelina
– sequence: 3
  givenname: Fabrizio
  surname: Riguzzi
  fullname: Riguzzi, Fabrizio
BookMark eNpNkE1LAzEQhoNUUGv_gKc96mE1n7uJN61fxYKI9hxiMimRbVKSFe2_d2tFnMvMOwMPw3OERjFFQOiE4HPeUCUvupUtNSWn7JLwM4qp2EOHRDa4Fqrlo3_zAZqU8o6HYoxI2hyil9uvdZdCH-KyWkQLuTch9pvKp1w9f0DebA-zaFMsofQQ--oGis1h3YcUq3laBluqx5g-O3BLqK5NgXKM9r3pCkx--xgt7m5fpw_1_Ol-Nr2a15ZSIWqJ1fC-byxl0oqWeiMdME9c0xpO_ZtlTknuW6UoFlw0FrDDAiRTlNkWFBuj2Y7rknnX6xxWJm90MkH_LFJeapP7YDvQzDvlnMdAvOEcMzmkASaMAsDKyIFFdyybUykZ_B-PYP1jWW8ta0o004TrrWX2DYWFc7I
ContentType Journal Article
DBID AAYXX
CITATION
DOA
DOI 10.46298/lmcs-21(3:14)2025
DatabaseName CrossRef
DOAJ Directory of Open Access Journals
DatabaseTitle CrossRef
DatabaseTitleList
CrossRef
Database_xml – sequence: 1
  dbid: DOA
  name: DOAJ Directory of Open Access Journals
  url: https://www.doaj.org/
  sourceTypes: Open Website
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1860-5974
ExternalDocumentID oai_doaj_org_article_3fd9ddf0e1fa440389ddd055a9ee09a8
10_46298_lmcs_21_3_14_2025
GroupedDBID .4S
.DC
29L
2WC
5GY
5VS
AAFWJ
AAYXX
ADBBV
ADMLS
ADQAK
AENEX
AFPKN
ALMA_UNASSIGNED_HOLDINGS
ARCSS
BCNDV
CITATION
EBS
EJD
FRP
GROUPED_DOAJ
J9A
KQ8
MK~
ML~
M~E
OK1
OVT
P2P
TR2
TUS
XSB
ID FETCH-LOGICAL-c2255-809462f6c238c572fa8de3f1d67a42fbc3d984f799205456ce0d05e83923c7e93
IEDL.DBID DOA
ISSN 1860-5974
IngestDate Fri Oct 03 12:24:53 EDT 2025
Sat Nov 29 07:39:44 EST 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c2255-809462f6c238c572fa8de3f1d67a42fbc3d984f799205456ce0d05e83923c7e93
OpenAccessLink https://doaj.org/article/3fd9ddf0e1fa440389ddd055a9ee09a8
ParticipantIDs doaj_primary_oai_doaj_org_article_3fd9ddf0e1fa440389ddd055a9ee09a8
crossref_primary_10_46298_lmcs_21_3_14_2025
PublicationCentury 2000
PublicationDate 2025-08-05
PublicationDateYYYYMMDD 2025-08-05
PublicationDate_xml – month: 08
  year: 2025
  text: 2025-08-05
  day: 05
PublicationDecade 2020
PublicationTitle Logical methods in computer science
PublicationYear 2025
Publisher Logical Methods in Computer Science e.V
Publisher_xml – name: Logical Methods in Computer Science e.V
SSID ssj0000331826
Score 2.346079
Snippet The necessity to manage inconsistency in Description Logics Knowledge Bases (KBs) has come to the fore with the increasing importance gained by the Semantic...
SourceID doaj
crossref
SourceType Open Website
Index Database
SubjectTerms artificial intelligence
logic in computer science
Title Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
URI https://doaj.org/article/3fd9ddf0e1fa440389ddd055a9ee09a8
Volume 21, Issue 3
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAON
  databaseName: DOAJ Directory of Open Access Journals
  customDbUrl:
  eissn: 1860-5974
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000331826
  issn: 1860-5974
  databaseCode: DOA
  dateStart: 20040101
  isFulltext: true
  titleUrlDefault: https://www.doaj.org/
  providerName: Directory of Open Access Journals
– providerCode: PRVHPJ
  databaseName: ROAD: Directory of Open Access Scholarly Resources
  customDbUrl:
  eissn: 1860-5974
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000331826
  issn: 1860-5974
  databaseCode: M~E
  dateStart: 20040101
  isFulltext: true
  titleUrlDefault: https://road.issn.org
  providerName: ISSN International Centre
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV1LS8QwEA4iHrz4FtcXOXhQpGybtE3jzZVdBHFRdGFvpXnBglbZdgUv_nZn0lbWkxcvPYRS0m8ymZlkZj5CzmBdaKe4DjIr0iAueBIopfC0KUkLw4yw3HmyCTEeZ9OpfFii-sKcsKY9cANcnzsjjXGhjVwRx9gOzhgTJkkhrQ1l4ct8QyGXgim_B3OOjnNTJROnTGb9l1ddBSw651dRfAEhf_LLEi017PeWZbRFNlqXkF43U9kmK7bcIZsd3QJttW-XPPl8uRnmKdMJjPi7_PqTgttJHxd2jgVLFPQdU15BdmVNIajsNgWKpMq6onfdGRodgP2q9shkNHy-uQ1aToRAg-YlYFAk_I5LNZhanQjmiswAnJFJRREzpzQ3MoudkJKF6BxpGwJaFt0groWVfJ-slm-lPSBUWJa61EhVZHgQFCpkUreSMYA6s0r0yGWHT_7etL7IIWTwaOaIZs6inEPskCOaPTJACH_exLbVfgCEmbfCzP8S5uF_fOSIrOOEfJZeckxW6_nCnpA1_VHPqvmpXyfwvP8afgOv8cXn
linkProvider Directory of Open Access Journals
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=Exploiting+Uncertainty+for+Querying+Inconsistent+Description+Logics+Knowledge+Bases&rft.jtitle=Logical+methods+in+computer+science&rft.au=Zese%2C+Riccardo&rft.au=Lamma%2C+Evelina&rft.au=Riguzzi%2C+Fabrizio&rft.date=2025-08-05&rft.issn=1860-5974&rft.eissn=1860-5974&rft.volume=21%2C+Issue+3&rft_id=info:doi/10.46298%2Flmcs-21%283%3A14%292025&rft.externalDBID=n%2Fa&rft.externalDocID=10_46298_lmcs_21_3_14_2025
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1860-5974&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1860-5974&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1860-5974&client=summon