1746 search results - page 91 / 350 » A Constructive Semantics for ALC |
106
click to vote
ICEIS
2003
IEEE
15 years 9 months ago
2003
IEEE
: A definition of types in an information system is given from real-world abstractions through data constructs, schema and definitions to physical data values. Category theory su...
132
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
116
click to vote
QI
2009
Springer
15 years 10 months ago
2009
Springer
A novel way to define Quantum like measurements for text is through transformations called Selective Erasers. When applied to text, an Eraser acts like a filter and preserves par...
140
click to vote
DEXA
2007
Springer
15 years 10 months ago
2007
Springer
The retrieval problem is one of the main reasoning tasks for knowledge base systems. Given a knowledge base K and a concept C, the retrieval problem consists of finding all indivi...
140
click to vote
ISI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This work describes a methodology that can be used to identify structure and communication patterns within an organization based on e-mail data. The first step of the me...