Sciweavers

384 search results - page 4 / 77
» Representing Sequences in Description Logics
Sort
View
OWLED
2007
13 years 9 months ago
Lege Feliciter: Using Structured English to represent a Topographic Hydrology Ontology
: The mathematical nature of description logics has meant that domain experts find it hard to understand. This forms a significant impediment to the creation and adoption of ontolo...
Glen Hart, Catherine Dolbear, John Goodwin
ADC
2004
Springer
90views Database» more  ADC 2004»
14 years 29 days ago
Representing and Reasoning on XForms Document
Forms are the most common way to interface users and Web-based applications. Traditional forms cannot provide the functionality needed to fulfil the requirements of complex appli...
Peng Yew Cheow, Guido Governatori
ECMAST
1999
Springer
155views Multimedia» more  ECMAST 1999»
13 years 12 months ago
High Level Description of Video Surveillance Sequences
One of the goals of the ACTS project MODEST is to build an automatic video-surveillance system from a sequence of digital images. The overall system can be divided into the followi...
Patrick Piscaglia, Andrea Cavallaro, Michel Bonnet...
DLOG
2011
12 years 11 months ago
Two-Dimensional Description Logics of Context
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...
Szymon Klarman, Víctor Gutiérrez-Bas...
KI
2007
Springer
14 years 1 months ago
Integrating Action Calculi and Description Logics
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
Conrad Drescher, Michael Thielscher