CFP last date
20 December 2024
Call for Paper
January Edition
IJCA solicits high quality original research papers for the upcoming January edition of the journal. The last date of research paper submission is 20 December 2024

Submit your paper
Know more
The week's pick
Responsive image
Improved Shuffled Frog Leaping Algorithm with Self-Adaptive Shuffling for Fuzzy Logic PD+G Controller Optimization in Robotic Manipulators

Duc Hoang Nguyen
Random Articles
Reseach Article

Description Logic: A Knowledge Representation Language

Published on December 2014 by Vandana Mohan Patil
journal_cover_thumbnail

National Conference on Emerging Trends in Information Technology
Foundation of Computer Science USA
NCETIT - Number 2
December 2014
Authors: Vandana Mohan Patil
f458a62d-b251-411b-96f5-510c155f1f62

Vandana Mohan Patil . Description Logic: A Knowledge Representation Language. National Conference on Emerging Trends in Information Technology. NCETIT, 2 (December 2014), 1-5.

@article{
author = { Vandana Mohan Patil },
title = { Description Logic: A Knowledge Representation Language },
journal = { National Conference on Emerging Trends in Information Technology },
issue_date = { December 2014 },
volume = { NCETIT },
number = { 2 },
month = { December },
year = { 2014 },
issn = 0975-8887,
pages = { 1-5 },
numpages = 5,
url = { /proceedings/ncetit/number2/19070-3027/ },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Proceeding Article
%1 National Conference on Emerging Trends in Information Technology
%A Vandana Mohan Patil
%T Description Logic: A Knowledge Representation Language
%J National Conference on Emerging Trends in Information Technology
%@ 0975-8887
%V NCETIT
%N 2
%P 1-5
%D 2014
%I International Journal of Computer Applications
Abstract

Description logic (DL) is a language for knowledge representation which is used to represent the terminological knowledge of an application domain in a structured and well-understood way. Two important features of DL are expressivity and decidability. Description Logics use two types of data structures for representing knowledge viz T-Box and A-Box. T-Box stores the basic terminologies of the application domain whereas A-Box consists of the assertions resulted from inference. Description Logics use two types of inference patterns: classification of individuals and classification of concepts. The process of inference is called as Reasoning. There are several types of reasoning. The reasoning procedures used in DL are Decision Procedures.

References
  1. Baader,Calvanese,McGuinness,Nardi and Patel- Scheneider, The DescriptionLogic Handbook - Theory, Implementation and Applications, Cambridge University Press, 2003.
  2. http://dl. kr. org, Description Logics, website last access 12 Feb 2014
  3. C. Areces: Logic engineering the case of description and hybrid logics. Thesis, ILLC Univ. Amsterdam, 2000.
  4. E. Franconi,G. DeGiacomo,R. M. MacGregor,W. Nutt,C. A. Welty,andF. Sebatiani,editors. Collected Papers from the International Description Logics Workshop(DL'98) CEUR, May 1998. Pages 55-57
  5. http://www. w3. org, Semantic Web. last access 23 Jan 2014
  6. http://www. loria. fr, DL Applications 11 Mar 2014
  7. Anni-Yasmin Turhan, Description Logic Reasoning for SemanticWeb Ontologies, ACM, WIMS11, May 25- 27, 2011
  8. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, and Marco Ruzzi, Using OWL in Data Integration, Semantic Web Information Management, Springer 2010
  9. Thomas Eiter, G. Ianni, Thomas L. , Roman S. , Well- Founded Semantics for Description Logic Programs in the Semantic Web, ACM Transactions on Computational Logic, Pages 1-36, April 2010
  10. http://www. ontoprise. de/en/home/products/ontobroker/ last access 20 Mar 2012
  11. http://www. w3. org/TR/2008/WD-owl2-profiles- 20081202 last access 6 Jul 2013
  12. Brickley D. and Guha R. ,Resouce Description Framework(RDF) Schema Specification , W3C, 1999 at http://www. w3. org/TR/1999/PR-rdf-schema-19990303
Index Terms

Computer Science
Information Sciences

Keywords

Logics Knowledge Representation Language Reasoning Decision Procedures.