Knowledge-Based Description Logic ALCO Knowledge Compiled Algorithm to Determine Consistency
Year: 2012
Type: article
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.
Source: Advanced materials research
Authors: Ya Qiong Jiang, Jun Wang
Institution: Guilin University of Electronic Technology
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
OpenAlex ID: W2001935498