Sciweavers

2500 search results - page 303 / 500
» Logical Semantics of Modularisation
Sort
View
SEMWIKI
2008
168views Data Mining» more  SEMWIKI 2008»
15 years 8 months ago
AceWiki: Collaborative Ontology Management in Controlled Natural Language
AceWiki is a prototype that shows how a semantic wiki using controlled natural language -- Attempto Controlled English (ACE) in our case -- can make ontology management easy for ev...
Tobias Kuhn
FOIS
2006
15 years 7 months ago
The Instrumental Stit A Study of Action and Instrument
The focus of this paper are actions in which agents employ instruments in order to achieve desired outcomes. I explore the ontological structure of such actions and the semantic fe...
Pawel Garbacz
FOIS
2006
15 years 7 months ago
A Reusable Ontology for Fluents in OWL
A critical problem for practical KR is dealing with relationships that change over time. This problem is compounded by representation languages such as OWL that are biased towards ...
Christopher A. Welty, Richard Fikes
TREC
2004
15 years 7 months ago
AnswerFinder at TREC 2004
AnswerFinder combines lexical, syntactic, and semantic information in various stages of the question answering process. The candidate sentences are preselected on the basis of (i)...
Diego Mollá, Mary Gardiner
JFPLC
2000
15 years 7 months ago
Preuves infinies en Programmation logique
ABSTRACT. This paper focuses on the assignment of meaning to some nonterminating SLD derivations in logic programming. Several approaches have been developped by considering infini...
Mathieu Jaume