1027 search results - page 62 / 206 » Representing and Reasoning with Operational Semantics |
112
click to vote
NMR
2004
Springer
15 years 6 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
107
click to vote
SEMWEB
2010
Springer
14 years 11 months ago
2010
Springer
The ability to answer temporal-oriented questions based on clinical narratives is essential to clinical research. The temporal dimension in medical data analysis enables clinical r...
134
click to vote
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
116
click to vote
OTM
2007
Springer
15 years 7 months ago
2007
Springer
We present a pragmatic extension of a Semantic Web query language (including so-called grounded conjunctive queries) with a termination safe functional expression language. This ad...
103
click to vote
AIMSA
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...