Sciweavers

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

13

DLOG
2006

favoriteEmaildiscussreport

118views Automated Reasoning» more DLOG 2006»

Euclidian Roles in Description Logics

13 years 5 months ago

Euclidian Roles in Description Logics

Download sunsite.informatik.rwth-aachen.de

In the current paper we investigate the role of Euclidian roles in Description Logics.

Giorgos Stoilos, Giorgos B. Stamou

Real-time Traffic

Automated Reasoning | Current Paper | Description Logics | DLOG 2006 |

claim paper

Related Content

» Expressive ABox Reasoning with Number Restrictions Role Hierarchies and Transitively Close...

» Decision Procedures for Expressive Description Logics with Intersection Composition Conver...

» Decidability of Description Logics with Transitive Closure of Roles in Concept and Role In...

» A Description Logic with Transitive and Inverse Roles and Role Hierarchies

» Issues of Decidability for Description Logics in the Framework of Resolution

» Number Restrictions on Complex Roles in Description Logics A Preliminary Report

» An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ

» Conjunctive Query Answering for Description Logics with Transitive Roles

» Tableau Caching for Description Logics with Inverse and Transitive Roles

Post Info
More Details (n/a)

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2006
Where	DLOG
Authors	Giorgos Stoilos, Giorgos B. Stamou

Comments (0)