238 search results - page 5 / 48 » Proof-Theoretic Approach to Description-Logic |
111
click to vote
SEBD
2008
15 years 3 months ago
2008
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 ...
76
Voted
DLOG
2006
15 years 3 months ago
2006
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...
81
Voted
SOFSEM
2010
Springer
15 years 10 months ago
2010
Springer
125
Voted
DLOG
2004
15 years 3 months ago
2004
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...
WS
2008
ACM
15 years 1 months ago
2008
ACM