Search Sciweavers | Sciweavers

12745 search results - page 243 / 2549

» Automating test automation

101

click to vote

DLOG
2007

90views Automated Reasoning» more DLOG 2007»

A General Framework for Covering Concepts using Terminologies

15 years 9 months ago

Download sunsite.informatik.rwth-aachen.de

Boualem Benatallah, Mohand-Said Hacid, Alain L&eac...

claim paper

Read More »

116

click to vote

DLOG
2008

83views Automated Reasoning» more DLOG 2008»

Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support

15 years 9 months ago

Download www.webont.org

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau,...

claim paper

Read More »

160

click to vote

DLOG
2004

105views Automated Reasoning» more DLOG 2004»

The Instance Store: DL Reasoning with Large Numbers of Individuals

15 years 8 months ago

Download www.comlab.ox.ac.uk

We present an application

Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer

claim paper

Read More »

159

click to vote

DLOG
2006

118views Automated Reasoning» more DLOG 2006»

Euclidian Roles in Description Logics

15 years 8 months ago

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

claim paper

Read More »

127

click to vote

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

Class Algebra as a Description Logic

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers