Sciweavers

26 search results - page 4 / 6
» A Modest, but Semantically Well Founded, Inheritance Reasone...
Sort
View
SEMWEB
2010
Springer
13 years 3 months ago
Time-Oriented Question Answering from Clinical Narratives Using Semantic-Web Techniques
The ability to answer temporal-oriented questions based on clinical narratives is essential to clinical research. The temporal dimension in medical data analysis enables clinical r...
Cui Tao, Harold R. Solbrig, Deepak K. Sharma, Wei-...
DLOG
2003
13 years 6 months ago
Description Logic Terminology
The purpose of this appendix is to introduce (in a compact manner) the syntax and semantics of the most prominent DLs occurring in this handbook. More information and explanations...
Franz Baader
TPLP
2002
117views more  TPLP 2002»
13 years 5 months ago
On Properties of Update Sequences Based on Causal Rejection
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
RR
2007
Springer
13 years 11 months ago
A Semantic Framework for Language Layering in WSML
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
Jos de Bruijn, Stijn Heymans
ICLP
2010
Springer
13 years 9 months ago
Tight Semantics for Logic Programs
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...
Luís Moniz Pereira, Alexandre Miguel Pinto