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

15 years 1 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

15 years 1 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)

15 years 8 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

15 years 1 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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers