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

Authors:
Quang-Thuy Ha;Thi-Lan-Giao Hoang;Linh Anh Nguyen;Hung Son Nguyen;Andrzej Szałas;Thanh-Luong Tran
Affiliations:
Vietnam National University, Xuan Thuy, Hanoi, Vietnam;Hue University, Nguyen Hue, Hue city, Vietnam;University of Warsaw, Banacha, Warsaw, Poland;-;University of Warsaw, Banacha, Warsaw, Poland and Linköping University, SE, Linköping, Sweden;Hue University, Nguyen Hue, Hue city, Vietnam
Venue:
Proceedings of the Third Symposium on Information and Communication Technology
Year:
2012

Citing 18
Cited 1

Rough Sets: Theoretical Aspects of Reasoning about Data

Rough Sets: Theoretical Aspects of Reasoning about Data
A Tableau for Multimodal Logics and Some (Un)Decidability Results

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Refinement Operator for Description Logics

ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
Reasoning with Individuals for the Description Logic SHIQ

CADE-17 Proceedings of the 17th International Conference on Automated Deduction
An algorithm based on counterfactuals for concept learning in the Semantic Web

Applied Intelligence
A Tableau Decision Procedure for $\mathcal{SHOIQ}$

Journal of Automated Reasoning
DL-FOIL Concept Learning in Description Logics

ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
A Blend of Markov-Chain and Drift Analysis

Proceedings of the 10th international conference on Parallel Problem Solving from Nature: PPSN X
An Efficient Tableau Prover using Global Caching for the Description Logic ALC

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Concept learning in description logics using refinement operators

Machine Learning
ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{ALC}$

ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
Learnability of description logic programs

ILP'02 Proceedings of the 12th international conference on Inductive logic programming
Tableaux with global caching for checking satisfiability of a knowledge base in the description logic SH

Transactions on computational collective intelligence I
Cut-free exptime tableaux for checking satisfiability of a knowledge base in the description logic ALCI

ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
On the web ontology rule language OWL 2 RL

ICCCI'11 Proceedings of the Third international conference on Computational collective intelligence: technologies and applications - Volume Part I
A cut-free exptime tableau decision procedure for the description logic SHI

ICCCI'11 Proceedings of the Third international conference on Computational collective intelligence: technologies and applications - Volume Part I
WORL: A Web Ontology Rule Language

KSE '11 Proceedings of the 2011 Third International Conference on Knowledge and Systems Engineering
Learning probabilistic description logics: a framework and algorithms

MICAI'11 Proceedings of the 10th Mexican international conference on Advances in Artificial Intelligence - Volume Part I

On c-learnability in description logics

ICCCI'12 Proceedings of the 4th international conference on Computational Collective Intelligence: technologies and applications - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

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.