Sciweavers

713 search results - page 72 / 143
» Viewcharts: Syntax and Semantics
Sort
View
JODS
2006
131views Data Mining» more  JODS 2006»
15 years 4 months ago
Inheritance in Rule-Based Frame Systems: Semantics and Inference
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted a lot of research interest, and F-logic is widely ...
Guizhen Yang, Michael Kifer
ER
1999
Springer
152views Database» more  ER 1999»
15 years 8 months ago
Semantically Accessing Documents Using Conceptual Model Descriptions
. When publishing documents on the web, the user needs to describe and classify her documents for the benefit of later retrieval and use. This paper presents an approach to semanti...
Terje Brasethvik, Jon Atle Gulla
VL
1996
IEEE
123views Visual Languages» more  VL 1996»
15 years 8 months ago
GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...
Volker Haarslev, Michael Wessel
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
15 years 8 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer
AAAI
2007
15 years 6 months ago
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies
We present the syntax and semantics of a modular ontology language SHOIQP to support context-specific reuse of knowledge from multiple ontologies. A SHOIQP ontology consists of m...
Jie Bao, Giora Slutzki, Vasant Honavar