Knowledge-Based Description Logic ALCO Knowledge Compiled Algorithm to Determine Consistency

Ya Qiong Jiang; Jun Wang

doi:10.4028/www.scientific.net/AMR.487.347

Paper Titles

Computer Simulation of the Filling Process of Air Intake Hood Based on ProCAST
p.327

A “L” PCB Image Detection Method Based on Feature
p.332

Observations on Mechanics Properties of Stitched Foam-Core Sandwich by Flexural Testing
p.337

The Research of Autonomic Computing of Internet of Things Based on Policy-Driven
p.342

Knowledge-Based Description Logic ALCO Knowledge Compiled Algorithm to Determine Consistency
p.347

The Application of Modern Information Technology in Chinese Agricultural Products Logistics
p.352

An Optimal Service Selection with Constraints Based on QoS Algorithm
p.357

Research on the Latest Nucleation of Electroless Ni-Cu-P Coatings Deposited on NdFeB Permanent Magnet
p.365

Study on TIG and SMAW Comprehensive Welding Process of 1Cr18Ni9Ti/Q235 Compound Steel
p.371

HomeAdvanced Materials ResearchAdvanced Materials Research Vol. 487Knowledge-Based Description Logic ALCO Knowledge...

Knowledge-Based Description Logic ALCO Knowledge Compiled Algorithm to Determine Consistency

Abstract:

Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which reasoning can be answered efficiently. The precompilation of description logic knowledge base is important for reasoning and services of description logic. This paper gives precompilation about the description logic ALCO TBox based on knowledge compilation techniques, for which the consistency of TBox can be determined.

You might also be interested in these eBooks

Emerging Materials and Mechanics Applications

View Preview

Info:

Periodical:

Advanced Materials Research (Volume 487)

Pages:

347-351

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.487.347

Citation:

Cite this paper

Online since:

March 2012

Authors:

Ya Qiong Jiang, Jun Wang

Keywords:

Consistency, Description Logic, Knowledge Compilation

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] DARWICHE A, MARQUIS P. A Knowledge Compilation Map[J]. Journal of Artificial Intelligence Research, 2002, 17: 229-264.

DOI: 10.1613/jair.989

Google Scholar

[2] BAADER F, NUTT W, HORROCKS I, etal. Handbook of Description Logic [M]. Cambridge: Cambridge University Press, 2007: 47-350.

Google Scholar

[3] BALSIGER P, HEUERDING A. Comparison of Theorem Provers for Modal Logics Introduction and Summary [C]. ITABLEAUX, volume 1397 of LNCS, 1998:25-26.

DOI: 10.1007/3-540-69778-0_4

Google Scholar

[4] TSAEKOV D, HORROCKS I. FaCT++ Description Logic Reasonner: System Description [C]. In Proc. Of the int. Joint Conf. on Automated Reasoning, 2006:292-297.

DOI: 10.1007/11814771_26

Google Scholar

[5] SELMAN B, KAUTZ H. Knowledge Compilation and Theory Approximation [J].ACM, 1996,43(2):193-224.

DOI: 10.1145/226643.226644

Google Scholar

[6] BIENVENU M. Prime Implicate Normal Form for ALC Concepts [C]. In proceedings of the 21st International Workshop on Description Logics, 2008: 18-30.

Google Scholar

[7] Keller U. Towards Novel Techniques for Reasoning in Expressive Description Logics base on Binary Decision Diagrams [C]. Proc of the 4th Annual European Semantic Web Conference, Aachen: CEUR Workshop Proceedings, 2007: 435-450.

Google Scholar