Sciweavers

319 search results - page 15 / 64
» Foundational Aspects of Syntax
Sort
View
AO
2008
81views more  AO 2008»
13 years 7 months ago
Institutionalising ontology-based semantic integration
Abstract. We address what is still a scarcity of general mathematical foundations for ontology-based semantic integration underlying current knowledge engineering methodologies in ...
W. Marco Schorlemmer, Yannis Kalfoglou
LOGCOM
2008
97views more  LOGCOM 2008»
13 years 7 months ago
One-and-a-halfth-order Logic
The practice of first-order logic is replete with meta-level concepts. Most notably there are meta-variables ranging over formulae, variables, and terms, and properties of syntax s...
Murdoch James Gabbay, Aad Mathijssen
CN
1999
148views more  CN 1999»
13 years 7 months ago
Automatic RDF Metadata Generation for Resource Discovery
Automatic metadata generation may provide a solution to the problem of inconsistent, unreliable metadata describing resources on the Web. The Resource Description Framework (RDF [...
Charlotte Jenkins, Mike Jackson, Peter Burden, Jon...
SDL
2007
139views Hardware» more  SDL 2007»
13 years 9 months ago
A Model-Based Standard for SDL
Abstract. It is still the case that language descriptions have lots of semantic information captured using plain (English) text. These imprecise descriptions are hardly usable for ...
Andreas Prinz, Markus Scheidgen, Merete Skjelten T...
JUCS
2007
98views more  JUCS 2007»
13 years 7 months ago
Using Visitor Patterns in Object-Oriented Action Semantics
Abstract: Object-Oriented Action Semantics is a semantic framework for the definition of programming languages. The framework incorporates some object-oriented concepts to the Act...
André Murbach Maidl, Cláudio Carvilh...