Sciweavers

2599 search results - page 11 / 520
» An Operational Semantics for Knowledge Bases
Sort
View
102
Voted
SEMWEB
2009
Springer
15 years 2 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
14 years 7 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»
14 years 9 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...
67
Voted
NAACL
2007
14 years 11 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
14 years 11 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