Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

DLOG
1997

favoriteEmaildiscussreport

127views Automated Reasoning» more DLOG 1997»

Classifying Description Logics

13 years 5 months ago

Classifying Description Logics

Download www.inf.unibz.it

We describe a method for characterizing the expressive power of description logics. The method is essentially model-theoretic in nature, and it is applied to obtain expressivenessresults for a wide range of logics in the well-known FL? and AL hierarchies. As a corollary we obtain a complete classi cation of the relative expressive power of these logics.

Natasha Kurtonina, Maarten de Rijke

Real-time Traffic

Automated Reasoning | Description Logics | DLOG 1997 | Expressive Power | Relative Expressive Power |

claim paper

Related Content

» Describing and Classifying Multimedia Using the Description Logic GRAIL

» Abductive Matchmaking using Description Logics

» Description Logics and Planning

» Using Description Logics for Indexing Audiovisual Documents

» Optimized Reasoning in Description Logics Using Hypertableaux

» Picturefinder Description Logics for Semantic Image Retrieval

» Image indexing and retrieval using expressive fuzzy description logics

» Parallel TBox Classification in Description Logics First Experimental Results

» Tableau Caching for Description Logics with Inverse and Transitive Roles

Post Info
More Details (n/a)

Added	01 Nov 2010
Updated	01 Nov 2010
Type	Conference
Year	1997
Where	DLOG
Authors	Natasha Kurtonina, Maarten de Rijke

Comments (0)