Sciweavers

2696 search results - page 109 / 540
» Semantic Abstraction and Anaphora
Sort
View
SEMWEB
2005
Springer
15 years 3 months ago
Ontology Design Patterns for Semantic Web Content
The paper presents a framework for introducing design patterns that facilitate or improve the techniques used during ontology lifecycle. Some distinctions are drawn between kinds o...
Aldo Gangemi
PKDD
2004
Springer
199views Data Mining» more  PKDD 2004»
15 years 3 months ago
SemanticTalk: Software for Visualizing Brainstorming Sessions and Thematic Concept Trails on Document Collections
Abstract: In this demonstration we introduce a technology to support knowledge structuring processes already at the time of their creation by building up concept structures in real...
Christian Biemann, Karsten Böhm, Gerhard Heye...
LPNMR
2001
Springer
15 years 2 months ago
Multi-adjoint Logic Programming with Continuous Semantics
Abstract. Considering different implication operators, such as Lukasiewicz, G¨odel or product implication in the same logic program, naturally leads to the allowance of several a...
Jesús Medina, Manuel Ojeda-Aciego, Peter Vo...
WCRE
1995
IEEE
15 years 1 months ago
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
ESOP
2003
Springer
15 years 3 months ago
A Tail-Recursive Semantics for Stack Inspections
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
John Clements, Matthias Felleisen