A Combined Approach to Incremental Reasoning for EL Ontologies

Due to the dynamic nature of knowledge and data in semantic applications, ontology incremental reasoning technologies are essential for ontology management systems. Nowadays, many proposed incremental reasoning solutions and implemented systems apply forward chaining completion algorithms to handle...

Full description

Saved in:
Bibliographic Details
Published inWeb Reasoning and Rule Systems Vol. 9898; pp. 167 - 183
Main Authors Ren, Yuan, Pan, Jeff Z., Guclu, Isa, Kollingbaum, Martin
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 01.01.2016
Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Information retrieval
Online AccessGet full text
ISBN9783319452753
3319452754
ISSN0302-9743
1611-3349
DOI10.1007/978-3-319-45276-0_13

Cover

Abstract Due to the dynamic nature of knowledge and data in semantic applications, ontology incremental reasoning technologies are essential for ontology management systems. Nowadays, many proposed incremental reasoning solutions and implemented systems apply forward chaining completion algorithms to handle the removal and addition of axioms. In this paper, we propose a novel approach to ontology incremental reasoning that combines forward and backward chaining completion for $$\mathcal {EL}$$ . Compared to existing work, this approach can be applied with or without bookkeeping, does not affect parallelisation or tractability, and reduces the effort for re-deriving the over-deleted results both theoretically and empirically.
AbstractList Due to the dynamic nature of knowledge and data in semantic applications, ontology incremental reasoning technologies are essential for ontology management systems. Nowadays, many proposed incremental reasoning solutions and implemented systems apply forward chaining completion algorithms to handle the removal and addition of axioms. In this paper, we propose a novel approach to ontology incremental reasoning that combines forward and backward chaining completion for $$\mathcal {EL}$$ . Compared to existing work, this approach can be applied with or without bookkeeping, does not affect parallelisation or tractability, and reduces the effort for re-deriving the over-deleted results both theoretically and empirically.
Author Guclu, Isa
Ren, Yuan
Pan, Jeff Z.
Kollingbaum, Martin
Author_xml – sequence: 1
  givenname: Yuan
  surname: Ren
  fullname: Ren, Yuan
  organization: Department of Computing Science, University of Aberdeen, Aberdeen, UK
– sequence: 2
  givenname: Jeff Z.
  surname: Pan
  fullname: Pan, Jeff Z.
  email: jeff.z.pan@abdn.ac.uk
  organization: Department of Computing Science, University of Aberdeen, Aberdeen, UK
– sequence: 3
  givenname: Isa
  surname: Guclu
  fullname: Guclu, Isa
  organization: Department of Computing Science, University of Aberdeen, Aberdeen, UK
– sequence: 4
  givenname: Martin
  surname: Kollingbaum
  fullname: Kollingbaum, Martin
  organization: Department of Computing Science, University of Aberdeen, Aberdeen, UK
BookMark eNqNkNtOAjEQhquiEZA38GJfoDo9tzcmhKCSkJAYvW72MAsobNft-v4WUK-9mmRmvsn834gMmtAgIbcM7hiAuXfGUkEFc1QqbjQFz8QZGYnUOTb4ORkyzRgVQroLMkn7vzMlBmQIAjh1RoorMnTKOCvBuGsyifEdAJjhIEENycM0m4V9sW2wyqZt24W83GR9yBZN2eEemz7fZS-Yx9Bsm3VWhy6bL7NV04ddWG8x3pDLOt9FnPzUMXl7nL_Onuly9bSYTZe05db2NK8qXSioNK-cLaBklS056srmFkspsKwZal0IpeuaMWGgFhYlOqxqUTNuxJjw093YdukR7HwRwkf0LGlJtnxK74VP-f1Rjj_YSpA8QSnW5xfG3uOBKlOqLt-Vm7ztsYtec6sAtGdcembcfzGljJHK_mHfbkh8EQ
ContentType Book Chapter
Copyright Springer International Publishing Switzerland 2016
Copyright_xml – notice: Springer International Publishing Switzerland 2016
DBID FFUUA
DEWEY 25.04
DOI 10.1007/978-3-319-45276-0_13
DatabaseName ProQuest Ebook Central - Book Chapters - Demo use only
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 3319452762
9783319452760
EISSN 1611-3349
Editor Ortiz, Magdalena
Schlobach, Stefan
Editor_xml – sequence: 1
  fullname: Ortiz, Magdalena
– sequence: 2
  fullname: Schlobach, Stefan
EndPage 183
ExternalDocumentID EBC6285006_124_179
EBC5577458_124_179
GroupedDBID 0D6
0DA
38.
AABBV
AAMCO
AAPIT
AAQZU
ABBVZ
ABMNI
ABOWU
ACLMJ
ADCXD
ADPGQ
AEDXK
AEJGN
AEJLV
AEKFX
AETDV
AEZAY
ALMA_UNASSIGNED_HOLDINGS
AORVH
AWFBM
AZZ
BBABE
CZZ
FFUUA
I4C
IEZ
SBO
SWNTM
TPJZQ
TSXQS
Z5O
Z7R
Z7S
Z7U
Z7V
Z7X
Z7Y
Z7Z
Z81
Z83
Z84
Z85
Z87
Z88
-DT
-~X
29L
2HA
2HV
ACGFS
EJD
F5P
LAS
LDH
P2P
RSU
~02
ID FETCH-LOGICAL-p288t-add6b50d62d98b0c1d8c2e6d8a8ec43ecf1e66b356ff11370f38e4e9edf3f1273
ISBN 9783319452753
3319452754
ISSN 0302-9743
IngestDate Tue Jul 29 20:13:22 EDT 2025
Thu May 29 01:48:35 EDT 2025
Wed May 28 23:45:03 EDT 2025
IsPeerReviewed true
IsScholarly true
LCCallNum QA76.76.A65QA75.5-76
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-p288t-add6b50d62d98b0c1d8c2e6d8a8ec43ecf1e66b356ff11370f38e4e9edf3f1273
Notes Original Abstract: Due to the dynamic nature of knowledge and data in semantic applications, ontology incremental reasoning technologies are essential for ontology management systems. Nowadays, many proposed incremental reasoning solutions and implemented systems apply forward chaining completion algorithms to handle the removal and addition of axioms. In this paper, we propose a novel approach to ontology incremental reasoning that combines forward and backward chaining completion for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {EL}$$\end{document}. Compared to existing work, this approach can be applied with or without bookkeeping, does not affect parallelisation or tractability, and reduces the effort for re-deriving the over-deleted results both theoretically and empirically.
OCLC 957984079
1189768869
PQID EBC5577458_124_179
PageCount 17
ParticipantIDs springer_books_10_1007_978_3_319_45276_0_13
proquest_ebookcentralchapters_6285006_124_179
proquest_ebookcentralchapters_5577458_124_179
PublicationCentury 2000
PublicationDate 2016-01-01
PublicationDateYYYYMMDD 2016-01-01
PublicationDate_xml – month: 01
  year: 2016
  text: 2016-01-01
  day: 01
PublicationDecade 2010
PublicationPlace Switzerland
PublicationPlace_xml – name: Switzerland
– name: Cham
PublicationSeriesSubtitle Information Systems and Applications, incl. Internet/Web, and HCI
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationSeriesTitleAlternate Lect.Notes Computer
PublicationSubtitle 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings
PublicationTitle Web Reasoning and Rule Systems
PublicationYear 2016
Publisher Springer International Publishing AG
Springer International Publishing
Publisher_xml – name: Springer International Publishing AG
– name: Springer International Publishing
RelatedPersons Kleinberg, Jon M.
Mattern, Friedemann
Naor, Moni
Mitchell, John C.
Terzopoulos, Demetri
Steffen, Bernhard
Pandu Rangan, C.
Kanade, Takeo
Kittler, Josef
Weikum, Gerhard
Hutchison, David
Tygar, Doug
RelatedPersons_xml – sequence: 1
  givenname: David
  surname: Hutchison
  fullname: Hutchison, David
  organization: Lancaster University, Lancaster, United Kingdom
– sequence: 2
  givenname: Takeo
  surname: Kanade
  fullname: Kanade, Takeo
  organization: Carnegie Mellon University, Pittsburgh, USA
– sequence: 3
  givenname: Josef
  surname: Kittler
  fullname: Kittler, Josef
  organization: University of Surrey, Guildford, United Kingdom
– sequence: 4
  givenname: Jon M.
  surname: Kleinberg
  fullname: Kleinberg, Jon M.
  organization: Cornell University, Ithaca, USA
– sequence: 5
  givenname: Friedemann
  surname: Mattern
  fullname: Mattern, Friedemann
  organization: CNB H 104.2, ETH Zurich, Zürich, Switzerland
– sequence: 6
  givenname: John C.
  surname: Mitchell
  fullname: Mitchell, John C.
  organization: Stanford, USA
– sequence: 7
  givenname: Moni
  surname: Naor
  fullname: Naor, Moni
  organization: Weizmann Institute of Science, Rehovot, Israel
– sequence: 8
  givenname: C.
  surname: Pandu Rangan
  fullname: Pandu Rangan, C.
  organization: Madras, Indian Institute of Technology, Chennai, India
– sequence: 9
  givenname: Bernhard
  surname: Steffen
  fullname: Steffen, Bernhard
  organization: Fakultät Informatik, TU Dortmund, Dortmund, Germany
– sequence: 10
  givenname: Demetri
  surname: Terzopoulos
  fullname: Terzopoulos, Demetri
  organization: University of California, Los Angeles, USA
– sequence: 11
  givenname: Doug
  surname: Tygar
  fullname: Tygar, Doug
  organization: University of California, Berkeley, USA
– sequence: 12
  givenname: Gerhard
  surname: Weikum
  fullname: Weikum, Gerhard
  organization: Max Planck Institute for Informatics, Saarbrücken, Germany
SSID ssj0001720405
ssj0002792
Score 2.0584974
Snippet Due to the dynamic nature of knowledge and data in semantic applications, ontology incremental reasoning technologies are essential for ontology management...
SourceID springer
proquest
SourceType Publisher
StartPage 167
SubjectTerms Information retrieval
Title A Combined Approach to Incremental Reasoning for EL Ontologies
URI http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=5577458&ppg=179
http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=6285006&ppg=179
http://link.springer.com/10.1007/978-3-319-45276-0_13
Volume 9898
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1Lj9MwELZKuSAOvMVbPnCrsorjOHUOIFWoaLWUhcMuWrhYfuW0tCuSXDjyy5mJ4yQtK6HlElWR2zj-3PG8vhlC3sCfz7lSl4ngpU9yL3iiU-kSK0pZMu2yTGNE99NpcXyen1yIi9ns9yRrqW3Mkf11La_kf1CFe4ArsmRvgOzwo3ADPgO-cAWE4Xqg_O67WUPRbW8wBb4O_tSOZ9hiYuCkBDkGUoJY-daOu-BL8Hl2od3vR0MCTmsv205i1IOk_hgqdhsdmiGHkgPTTYac9h9gW4PWuroayVkgdILbsavcH6eICY3rzeLztmuZG5MXcaF8_XbTxzJOd02XIraI7Sai9Jm6J9iheyK6Jw8cnKOPbc-e5SAQcpEtQ_3gyOsCmQ1WT7jlg5gusPgiD8VOe9HLQluP_hRnoT3OXwfENCcE-Vv4NJizwsbHt2ACc3J7tT7ZfB39dNjFJx1NKiy4GCJTYVbIF4qzDoUmJ28x4Wpe98g9q-YgEN_pN2f3yV3kvFAko8D6PSAzv31I7kUIaA_BI_JuRSPgNAJOmx2dAE4HwCkATtcbOgL-mJx_WJ-9P076DhzJVSZlk8DhVxiRuiJzpTSpZU7azBdOaultzr2tmC8Kw0VRVYzxZVpx6XNfelfxioFm_ITMt7utf0qozpdaZsY7DgaHNbI0RaWRCu2F0a6Sz0gS10J1eQJ9crINb14rIeCLQipQSBWcIv8cj9xgTNocxi_iAiscXqtYsBuQUVwBMqpDRiEyz280-gW5M279l2Te_Gz9K9BVG_O6305_AHcqiwo
linkProvider Library Specific Holdings
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%3Abook&rft.genre=bookitem&rft.title=Web+Reasoning+and+Rule+Systems&rft.au=Ren%2C+Yuan&rft.au=Pan%2C+Jeff+Z.&rft.au=Guclu%2C+Isa&rft.au=Kollingbaum%2C+Martin&rft.atitle=A+Combined+Approach+to+Incremental+Reasoning+for+EL+Ontologies&rft.series=Lecture+Notes+in+Computer+Science&rft.date=2016-01-01&rft.pub=Springer+International+Publishing&rft.isbn=9783319452753&rft.issn=0302-9743&rft.eissn=1611-3349&rft.spage=167&rft.epage=183&rft_id=info:doi/10.1007%2F978-3-319-45276-0_13
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F5577458-l.jpg
http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F6285006-l.jpg