Sciweavers

1545 search results - page 273 / 309
» Defeasible Description Logics
Sort
View
AINA
2010
IEEE
14 years 26 days ago
Developing Distributed Reasoning-Based Applications for the Semantic Web
—In order for Semantic Web applications to be successful a key component should be their ability to take advantage of rich content descriptions in meaningful ways. Reasoning cons...
Dimitrios A. Koutsomitropoulos, Georgia D. Solomou...
FCCM
2002
IEEE
146views VLSI» more  FCCM 2002»
14 years 21 days ago
Fast Area Estimation to Support Compiler Optimizations in FPGA-Based Reconfigurable Systems
Several projects have developed compiler tools that translate high-level languages down to hardware description languages for mapping onto FPGAbased reconfigurable computers. Thes...
Dhananjay Kulkarni, Walid A. Najjar, Robert Rinker...
ATAL
2009
Springer
14 years 12 days ago
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
Bruno Mermet, Gaële Simon
GI
2009
Springer
14 years 11 days ago
Applying Semantic Technologies for Context-Aware AAL Services: What we can learn from SOPRANO
Abstract: Ambient assisted living (AAL) is a newly emerging term describing a research area with focus on services that support people in their daily life with particular focus on ...
Peter Wolf, Andreas Schmidt, Michael Klein
SEMWEB
2009
Springer
14 years 9 days ago
A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL
Scalable query answering over Description Logic (DL) based ontologies plays an important role for the success of the Semantic Web. Towards tackling the scalability problem, we prop...
Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen