Sciweavers

1178 search results - page 61 / 236
» An Approach to Exploring Description Logic Knowledge Bases
Sort
View
AAAI
2007
15 years 2 months ago
The Semantics of Variables in Action Descriptions
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification problem. On the other hand, ADL is based on first-order logi...
Vladimir Lifschitz, Wanwan Ren
TCS
2008
14 years 11 months ago
Temporal constraints in the logical analysis of regulatory networks
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
Heike Siebert, Alexander Bockmayr
JAIR
2002
101views more  JAIR 2002»
14 years 11 months ago
Structured Knowledge Representation for Image Retrieval
We propose a structured approach to the problem of retrieval of images by content and present a description logic that has been devised for the semantic indexing and retrieval of ...
Eugenio Di Sciascio, Francesco M. Donini, Marina M...
VL
2007
IEEE
104views Visual Languages» more  VL 2007»
15 years 6 months ago
A Peirce Style Calculus for ALC
Description logics (DLs) are a well-understood family of knowledge representation (KR) languages. The notation of DLs has the flavour of a variable-free first order predicate lo...
Frithjof Dau, Peter W. Eklund
ANLP
1997
106views more  ANLP 1997»
15 years 1 months ago
Building a Generation Knowledge Source using Internet-Accessible Newswire
In this paper, we describe a method for automatic creation of a knowledge source for text generation using information extraction over the Internet. We present a prototype system ...
Dragomir R. Radev, Kathleen McKeown