2599 search results - page 34 / 520 » An Operational Semantics for Knowledge Bases |
CORR
2008
Springer
14 years 9 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
FLAIRS
2008
15 years 2 days ago
2008
Ever increasing size of the biomedical literature makes tapping into implicit knowledge in scientific literature a necessity for knowledge discovery. In this paper, a semantic par...
ER
2007
Springer
15 years 3 months ago
2007
Springer
This paper aims to bring the benefits of the use of Category Theory to the field of Semantic Web, where the coexistence of intrinsically different models of local knowledge mak...
WSC
2000
14 years 11 months ago
2000
This paper presents an approach to the operational analysis of future space transportation systems. The approach combines knowledge from government and industry space operation an...
CAISE
2005
Springer
15 years 3 months ago
2005
Springer
Ontologies are in the heart of the knowledge management process. Different semantic measures have been proposed in the literature to evaluate the strength of the semantic link bet...