Sciweavers

2599 search results - page 11 / 520
» An Operational Semantics for Knowledge Bases
Sort
View
SEMWEB
2009
Springer
14 years 1 months ago
Reasoning With Provenance, Trust and all that other Meta Knowlege in OWL
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...
Simon Schenk, Renata Queiroz Dividino, Steffen Sta...
FLAIRS
2009
13 years 6 months ago
Verification of Distributed Knowledge in Semantic Knowledge Wikis
Recently, the development of distributed knowledge systems has become more attractive due to the existence of new social semantic applications such as semantic knowledge wikis. Us...
Joachim Baumeister, Grzegorz J. Nalepa
ENTCS
2007
91views more  ENTCS 2007»
13 years 8 months ago
Rule-Based Operational Semantics for an Imperative Language
Operational semantics for programming languages usually come in two flavours: big-step and small-step. Both are defined using deduction rules with a congruence rule allowing redu...
Florent Kirchner, François-Régis Sin...
NAACL
2007
13 years 10 months ago
Knowledge-Based Labeling of Semantic Relationships in English
An increasing number of NLP tasks require semantic labels to be assigned, not only to entities that appear in textual elements, but to the relationships between those entities. In...
Alicia Tribble
COLING
1996
13 years 9 months ago
On Inference-Based Procedures for Lexical Disambiguation
In this paper we sketch a decidable inference-based procedure for lexical disambiguation which operates on semantic representations of discourse and conceptual knowledge, In contr...
Jürgen Wedekind