Sciweavers

875 search results - page 7 / 175
» Syndication on the Web using a description logic approach
Sort
View
DLOG
2010
14 years 9 months ago
Optimization Techniques for Fuzzy Description Logics
Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different sources. For this purpose the extension of the Des...
Nikos Simou, Theofilos P. Mailis, Giorgos Stoilos,...
CADE
2002
Springer
15 years 11 months ago
Reasoning with Expressive Description Logics: Theory and Practice
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
Ian Horrocks
DLOG
2006
15 years 26 days ago
Description logic reasoning using the PTTP approach
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...
JAPLL
2010
179views more  JAPLL 2010»
14 years 10 months ago
Tractable query answering and rewriting under description logic constraints
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
Héctor Pérez-Urbina, Boris Motik, Ia...
ICWE
2010
Springer
15 years 1 months ago
Deriving Vocal Interfaces from Logical Descriptions in Multi-device Authoring Environments
Model-based approaches for interactive Web applications have neglected vocal interaction. However, ubiquitous multi-device environments call for better support for such modality. I...
Fabio Paternò, Christian Sisti