More Web Proxy on the site http://driver.im/

research-article

A bisimulation-based method of concept learning for knowledge bases in description logics

Authors:

Thi-Lan-Giao Hoang,

Linh Anh Nguyen,

Hung Son Nguyen,

Andrzej Szałas,

Thanh-Luong TranAuthors Info & Claims

SoICT '12: Proceedings of the 3rd Symposium on Information and Communication Technology

Pages 241 - 249

https://doi.org/10.1145/2350716.2350753

Published: 23 August 2012 Publication History

Abstract

We develop the first bisimulation-based method of concept learning, called BBCL, for knowledge bases in description logics (DLs). Our method is formulated for a large class of useful DLs, with well-known DLs like ALC, SHIQ, SHOIQ, SROIQ. As bisimulation is the notion for characterizing indis-cernibility of objects in DLs, our method is natural and very promising.

References

[1]

F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, Eds., Description Logic Handbook. Cambridge University Press, 2002.

[2]

W. Cohen and H. Hirsh, "Learning the Classic description logic: Theoretical and experimental results," in Proceedings of KR'1994, pp. 121--133.

[3]

P. Lambrix and P. Larocchia, "Learning composite concepts," in Proceedings of DL'1998.

[4]

L. Badea and S.-H. Nienhuys-Cheng, "A refinement operator for description logics," in Proceedings of ILP'2000, ser. LNCS, vol. 1866. Springer, 2000, pp. 40--59.

Digital Library

[5]

L. Iannone, I. Palmisano, and N. Fanizzi, "An algorithm based on counterfactuals for concept learning in the Semantic Web," Appl. Intell., vol. 26, no. 2, pp. 139--159, 2007.

Digital Library

[6]

N. Fanizzi, C. d'Amato, and F. Esposito, "DL-FOIL concept learning in description logics," in Proceedings of ILP'2008, ser. LNCS, vol. 5194. Springer, 2008, pp. 107--121.

Digital Library

[7]

J. Lehmann and P. Hitzler, "Concept learning in description logics using refinement operators," Machine Learning, vol. 78, no. 1--2, pp. 203--250, 2010.

Digital Library

[8]

L. A. Nguyen and A. Szałas, "Logic-based roughification," in Rough Sets and Intelligent Systems (To the Memory of Professor Zdzislaw Pawlak), Vol. 1, A. Skowron and Z. Suraj, Eds. Springer, 2012, pp. 529--556.

[9]

T.-L. Tran, Q.-T. Ha, T.-L.-G. Hoang, L. A. Nguyen, H. S. Nguyen, and A. Szałas, "Concept learning for description logic-based information systems," Accepted for KSE'2012.

Digital Library

[10]

J. Alvarez, "A formal framework for theory learning using description logics," in ILP'2000 Work-in-progress reports, 2000.

[11]

J. Kietz, "Learnability of description logic programs," in Proceedings of ILP'2002, ser. LNCS, vol. 2583. Springer, 2002, pp. 117--132.

Digital Library

[12]

S. Konstantopoulos and A. Charalambidis, "Formulating description logic learning as an inductive logic programming task," in Proceedings of FUZZ-IEEE'2010, pp. 1--7.

[13]

F. Distel, "Learning description logic knowledge bases from data using methods from formal concept analysis," Ph.D. dissertation, Dresden University of Technology, 2011.

[14]

J. Luna, K. Revoredo, and F. Cozman, "Learning probabilistic description logics: A framework and algorithms," in Proceedings of MICAI'2011, ser. LNCS, vol. 7094. Springer, 2011, pp. 28--39.

Digital Library

[15]

S. Hellmann, "Comparison of concept learning algorithms (with emphasis on ontology engineering for the Semantic Web)," Master's thesis, Leipzig University, 2008.

[16]

A. R. Divroodi and L. A. Nguyen, "On bisimulations for description logics," in Proceedings of CS&P'2011, pp. 99--110 (see also arXiv: 1104.1964).

[17]

Z. Pawlak, Rough Sets. Theoretical Aspects of Reasoning about Data. Dordrecht: Kluwer Academic Publishers, 1991.

Digital Library

[18]

Z. Pawlak and A. Skowron, "Rudiments of rough sets," Inf. Sci., vol. 177, no. 1, pp. 3--27, 2007.

[19]

S. T. Cao, L. A. Nguyen, and A. Szałas, "On the Web ontology rule language OWL 2 RL," in Proceedings of ICCCI'2011, ser. LNCS, vol. 6922. Springer, 2011, pp. 254--264.

Digital Library

[20]

S. T. Cao, L. A. Nguyen, and A. Szalas, "WORL: a Web ontology rule language," in Proceedings of KSE'2011. IEEE Computer Society, 2011, pp. 32--39.

Digital Library

[21]

M. Baldoni, L. Giordano, and A. Martelli, "A tableau for multimodal logics and some (un)decidability results," in Proceedings of TABLEAUX'1998, ser. LNCS, vol. 1397. Springer, 1998, pp. 44--59.

Digital Library

[22]

I. Horrocks, O. Kutz, and U. Sattler, "The even more irresistible SROIQ," in Proc. of KR'2006. AAAI Press, 2006, pp. 57--67.

[23]

L. A. Nguyen and A. Szałas, "ExpTime tableaux for checking satisfiability of a knowledge base in the description logic ALC," in Proceedings of ICCCI'2009, ser. LNAI, vol. 5796. Springer, 2009, pp. 437--448.

Digital Library

[24]

L. A. Nguyen, "Cut-free ExpTime tableaux for checking satisfiability of a knowledge base in the description logic ALCI," in Proceedings of ISMIS'2011, ser. LNCS, vol. 6804. Springer, 2011, pp. 465--475.

Digital Library

[25]

L. A. Nguyen and A. Szałas, "Tableaux with global caching for checking satisfiability of a knowledge base in the description logic SH," T. Computational Collective Intelligence, vol. 1, pp. 21--38, 2010.

Digital Library

[26]

I. Horrocks and U. Sattler, "A description logic with transitive and inverse roles and role hierarchies," J. Log. Comput., vol. 9, no. 3, pp. 385--410, 1999.

[27]

L. A. Nguyen, "A cut-free ExpTime tableau decision procedure for the description logic SHI," in Proceedings of ICCCI'2011 (1), ser. LNCS, vol. 6922. Springer, 2011, pp. 572--581.

Digital Library

[28]

I. Horrocks, U. Sattler, and S. Tobies, "Reasoning with individuals for the description logic SHIQ," in Proceedings of CADE-17, ser. LNCS, vol. 1831. Springer, 2000, pp. 482--496.

Digital Library

[29]

I. Horrocks and U. Sattler, "A tableau decision procedure for SHOIQ," J. Autom. Reasoning, vol. 39, no. 3, pp. 249--276, 2007.

Digital Library

[30]

L. A. Nguyen, "An efficient tableau prover using global caching for the description logic ALC," Fundamenta Informaticae, vol. 93, no. 1--3, pp. 273--288, 2009.

Digital Library

[31]

L. A. Nguyen, "A cut-free ExpTime tableau decision procedure for the logic extending converse-PDL with regular inclusion axioms," arXiv: 1104.0405v1, 2011.

Cited By

Nguyen L(2019)Bisimilarity in Fuzzy Description Logics Under the Zadeh SemanticsIEEE Transactions on Fuzzy Systems10.1109/TFUZZ.2018.287100427:6(1151-1161)Online publication date: Jun-2019
https://doi.org/10.1109/TFUZZ.2018.2871004
Khanh Nguyen THa QTran T(2018)A Learning Method based on Bisimulation in Inconsistent Knowledge Systems2018 15th International Conference on Control, Automation, Robotics and Vision (ICARCV)10.1109/ICARCV.2018.8581062(430-435)Online publication date: Nov-2018
https://doi.org/10.1109/ICARCV.2018.8581062
Luis PGaelle LYue MChantal R(2018)Knowledge Discovery for Avionics Maintenance Support2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC)10.1109/DASC.2018.8569856(1-8)Online publication date: Sep-2018
https://doi.org/10.1109/DASC.2018.8569856
Show More Cited By

Recommendations

Bisimulation-Based Concept Learning in Description Logics
Concurrency, Specification and Programming

Concept learning in description logics (DLs) is similar to binary classification in traditional machine learning. The difference is that in DLs objects are described not only by attributes but also by binary relationships between objects. In this paper, ...
Decomposition-based Reasoning for Large Knowledge Bases in Description Logics
Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering

Reasoning in a Knowledge Base(KB) is one of the most important applications of Description Logic (DL) reasoners. The execution time and storage space requirements are both significant factors that directly influence the performance of a reasoning ...
Expressive probabilistic description logics

The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role in the development of the Semantic Web, since they provide a precise ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

SoICT '12: Proceedings of the 3rd Symposium on Information and Communication Technology

August 2012

290 pages

ISBN:9781450312325

DOI:10.1145/2350716

Conference Chair:
Giang Nguyen Trong
HUST, Vietnam
,
General Chairs:
Ladislave Hluchy
Slovak Academy of Sciences, Slovakia
,
Thang Huynh Quyet
HUST, Vietnam
,
Program Chairs:
Eric Castelli
MICA, France-Vietnam
,
Khanh Tran Duc
HUST, Vietnam
,
Mai Luong Chi
IoIT, VAST, Vietnam
,
Viet Tran
Slovak Academy of Sciences, Slovakia

Copyright © 2012 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 August 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Funding Sources

Conference

SoICT '12

SoICT '12: Symposium on Information and Communication Technology 2012

August 23 - 24, 2012

Ha Long, Vietnam

Acceptance Rates

Overall Acceptance Rate 147 of 318 submissions, 46%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
82
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 23 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Nguyen L(2019)Bisimilarity in Fuzzy Description Logics Under the Zadeh SemanticsIEEE Transactions on Fuzzy Systems10.1109/TFUZZ.2018.287100427:6(1151-1161)Online publication date: Jun-2019
https://doi.org/10.1109/TFUZZ.2018.2871004
Khanh Nguyen THa QTran T(2018)A Learning Method based on Bisimulation in Inconsistent Knowledge Systems2018 15th International Conference on Control, Automation, Robotics and Vision (ICARCV)10.1109/ICARCV.2018.8581062(430-435)Online publication date: Nov-2018
https://doi.org/10.1109/ICARCV.2018.8581062
Luis PGaelle LYue MChantal R(2018)Knowledge Discovery for Avionics Maintenance Support2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC)10.1109/DASC.2018.8569856(1-8)Online publication date: Sep-2018
https://doi.org/10.1109/DASC.2018.8569856
Ha QNguyen LNguyen TTran T(2018)Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel SemanticsRough Sets10.1007/978-3-319-99368-3_44(559-571)Online publication date: 15-Aug-2018
https://doi.org/10.1007/978-3-319-99368-3_44
Divroodi AHa QNguyen LNguyen H(2017)On the possibility of correct concept learning in description logicsVietnam Journal of Computer Science10.1007/s40595-017-0094-45:1(3-14)Online publication date: 15-Feb-2017
https://doi.org/10.1007/s40595-017-0094-4
Divroodi ANguyen L(2015)On bisimulations for description logicsInformation Sciences: an International Journal10.1016/j.ins.2014.10.022295:C(465-493)Online publication date: 20-Feb-2015
https://dl.acm.org/doi/10.1016/j.ins.2014.10.022
Tran TNguyen LHoang T(2015)Bisimulation-based concept learning for information systems in description logicsVietnam Journal of Computer Science10.1007/s40595-015-0040-22:3(149-167)Online publication date: 1-Mar-2015
https://doi.org/10.1007/s40595-015-0040-2
Tran THa QHoang TNguyen LNguyen H(2014)Bisimulation-Based Concept Learning in Description LogicsFundamenta Informaticae10.5555/2692064.2692078133:2-3(287-303)Online publication date: 1-Apr-2014
https://dl.acm.org/doi/10.5555/2692064.2692078
Tran TNguyen LHoang T(2014)A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description LogicsAdvanced Computational Methods for Knowledge Engineering10.1007/978-3-319-06569-4_22(297-312)Online publication date: 2014
https://doi.org/10.1007/978-3-319-06569-4_22
Tran THa QHoang TNguyen LNguyen HSzalas A(2012)Concept Learning for Description Logic-Based Information SystemsProceedings of the 2012 Fourth International Conference on Knowledge and Systems Engineering10.1109/KSE.2012.23(65-73)Online publication date: 17-Aug-2012
https://dl.acm.org/doi/10.1109/KSE.2012.23
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents