Sciweavers

3597 search results - page 630 / 720
» Model-theoretic semantics for the web
Sort
View
ATAL
2006
Springer
14 years 1 months ago
Formalizing typicality of objects and context-sensitivity in ontologies
In multiagent systems ontologies are essential because they facilitate tasks like communications and reasoning. In this paper, inspired by studies in cognitive psychology, we pres...
Ching-man Au Yeung, Ho-fung Leung
ESAW
2006
Springer
14 years 1 months ago
Competence Checking for the Global E-Service Society Using Games
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
Kostas Stathis, George Lekeas, Christos Kloukinas
ESWS
2006
Springer
14 years 1 months ago
An Environment for Semi-automatic Annotation of Ontological Knowledge with Linguistic Content
Both the multilingual aspects which characterize the (Semantic) Web and the demand for more easy-to-share forms of knowledge representation, being equally accessible by humans and ...
Maria Teresa Pazienza, Armando Stellato
FOSSACS
2006
Springer
14 years 1 months ago
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
Michael Backes, Sebastian Mödersheim, Birgit ...
WLP
2000
Springer
14 years 1 months ago
Attempto Controlled English
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...
Norbert E. Fuchs