Extending Description Logics for Semantic Web Ontology Implementation Domains
Semantic web has emerged as the field of integrating various logic families and their extensions. The Description Logic extensions provided considerable attention and research for better expressivity and decidability. The exactness of validity and soundness is provided by extending the rules and axioms as facts and the completeness as every valid statement is associated with a proof.
This article provides basics of most powerful way of logic expression – Description Logic (DL) and their interplay with various semantics extensions and also highlights a brief overview of research in nearly last 2 decades for various approaches for reasoning in expressive DLs. The foundation of OWL DL with tractable reasoning is also presented. The blending of logic families are discussed with extensions of the basic representation language systems.