2599 search results - page 82 / 520 » An Operational Semantics for Knowledge Bases |
VL
1992
IEEE
15 years 1 months ago
1992
IEEE
If future electronic documents are to be truly useful, we must devise ways to automatically turn them into knowledgebases. In particular, we must be able to do this for diagrams. ...
ISMB
1997
14 years 11 months ago
1997
The world wide web(WWW)has becomecritical for storing and disseminatingbiological data. It offers an additional opportunity, however,to support distributed computation and sharing...
CAISE
2007
Springer
15 years 4 months ago
2007
Springer
Conceptual models are an important repository for knowledge in companies and public institutions. The retrieval of this knowledge can prepare reorganisations projects and support I...
SKG
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
CP
2005
Springer
14 years 12 months ago
2005
Springer
One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate l...