Efficient Description Logic Reasoning in Prolog: The DLog system

Details Efficient Description Logic Reasoning in Prolog: The DLog system Efficient Description Logic Reasoning in Prolog: The DLog system

2009-04-03

arxiv.org/abs/0904.0578v2

Computer Science

Logic in Computer Science

73 pages, 5 Postscript figures, uses {rotating,multirow,fancyvrb,psfrag}.sty To appear in Theory and Practice of Logic Progr

Scientific paper

This paper describes a resolution based Description Logic reasoning system called DLog. DLog transforms Description Logic axioms into a Prolog program and uses the standard Prolog execution for efficiently answering instance retrieval queries. From the Description Logic point of view, DLog is an ABox reasoning engine for the full SHIQ language. The DLog approach makes it possible to store the individuals in a database instead of memory, which results in better scalability and helps using description logic ontologies directly on top of existing information sources. To appear in Theory and Practice of Logic Programming (TPLP).

Affiliated with

Also associated with

No associations

Rating

Efficient Description Logic Reasoning in Prolog: The DLog system does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Efficient Description Logic Reasoning in Prolog: The DLog system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Efficient Description Logic Reasoning in Prolog: The DLog system will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-150935