Knowledge compilation and theory approximation
Journal of the ACM (JACM)
Sweetening Ontologies with DOLCE
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
The Description Logic Handbook
The Description Logic Handbook
An analysis of approximate knowledge compilation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
Ontologies for the semantic web in CASL
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
An image-schematic account of spatial categories
COSIT'07 Proceedings of the 8th international conference on Spatial information theory
Hi-index | 0.00 |
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theory. This is obtained by transforming the given FOL formulas. If this method is applied to an ontology specification in FOL, the resulting DL specification is still grounded on the same semantics but clearly weaker than the FOL specification. The benefit of specification in DL is that efficient reasoning procedures are available as implemented in tools such as Racer, Fact++ or Pellet. Such ontologies in DL could be used for knowledge representation systems and the semantic web where efficient reasoning plays a major role. This method can be used to compile a foundational ontology formalized in FOL, like DOLCE (Descriptive Ontology for Linguistic and Cognitive Engineering), into DL for use with domain ontologies formalized in DL, or for the development of domain ontologies based on the compiled foundational ontology. These weakening strategies are described using CASL (Common Algebraic Specification Language) and CASL-DL, and will be integrated into HETS (Heterogeneous Tool Set). Furthermore, this paper includes examples from DOLCE.