Search Sciweavers | Sciweavers

238 search results - page 5 / 48

» Proof-Theoretic Approach to Description-Logic

click to vote

SEBD
2008

121views Database» more SEBD 2008»

A Fuzzy Description Logic Approach to Bilateral Matchmaking in Electronic Marketplaces

13 years 11 months ago

Download webdiis.unizar.es

We present a novel Fuzzy Description Logic (DL) based approach to automate matchmaking in e-marketplaces. We model traders' preferences with the aid of Fuzzy DLs and, given a ...

Azzurra Ragone, Umberto Straccia, Fernando Bobillo...

claim paper

Read More »

click to vote

DLOG
2006

141views Automated Reasoning» more DLOG 2006»

Description logic reasoning using the PTTP approach

13 years 11 months ago

Download sunsite.informatik.rwth-aachen.de

The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the l...

Zsolt Nagy, Gergely Lukácsy, Péter S...

claim paper

Read More »

click to vote

SOFSEM
2010
Springer

137views Theoretical Computer Science» more SOFSEM 2010»

Comparison of Scoring and Order Approach in Description Logic EL(D)

14 years 6 months ago

Download www.sofsem.cz

Veronika Vaneková, Peter Vojtás

claim paper

Read More »

click to vote

DLOG
2004

111views Automated Reasoning» more DLOG 2004»

A Description Logic Based Approach for Matching User Profiles

13 years 11 months ago

Download www.inf.unibz.it

Several applications require the matching of user profiles, e.g., job recruitment or dating systems. In this paper we present a logical framework for specifying user profiles that...

Andrea Calì, Diego Calvanese, Simona Colucc...

claim paper

Read More »

click to vote

WS
2008
ACM

82views Computer Networks» more WS 2008»

Syndication on the Web using a description logic approach

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers