Sciweavers

2672 search results - page 77 / 535
» Hybridizing Concept Languages
Sort
View
ER
2008
Springer
102views Database» more  ER 2008»
13 years 8 months ago
On Temporal Cardinality in the Context of the TOWL Language
The TOWL language is a temporal ontology language built on top of OWL-DL that enables descriptions involving time and temporal aspects such as change and state transitions. Extendi...
Viorel Milea, Michael Mrissa, Kees van der Sluijs,...
KRDB
2003
184views Database» more  KRDB 2003»
13 years 9 months ago
Some Practical Issues in Building a Hybrid Deductive Geographic Information System with a DL Component
We report about some preliminary issues from the DFG project “Description Logics and Spatial Reasoning” (“DLS”, DFG Grant NE 279/8-1), one of whose goals is to develop a p...
Michael Wessel
LREC
2008
138views Education» more  LREC 2008»
13 years 9 months ago
Language Resources for Semantic Document Annotation and Crosslingual Retrieval
This paper describes the interaction among language resources for an adequate concept annotation of domain texts in several languages. The architecture includes domain ontology, d...
Petya Osenova, Kiril Ivanov Simov, Eelco Mossel
AGI
2008
13 years 9 months ago
Text Disambiguation by Educable AI System
The structure of possible text understanding system is discussed. To store concepts and knowledge system uses multilayer ontology based on pragmatic memory model. The way of knowle...
Alexander Voskresenskij
ESOP
2009
Springer
14 years 2 months ago
Well-Typed Programs Can't Be Blamed
We show how contracts with blame fit naturally with recent work on hybrid types and gradual types. Unlike hybrid types or gradual types, we require casts in the source code, in o...
Philip Wadler, Robert Bruce Findler