Sciweavers

83 search results - page 5 / 17
» Visualizing Logical Dependencies in SWRL Rule Bases
Sort
View
VL
2007
IEEE
104views Visual Languages» more  VL 2007»
14 years 1 months ago
A Peirce Style Calculus for ALC
Description logics (DLs) are a well-understood family of knowledge representation (KR) languages. The notation of DLs has the flavour of a variable-free first order predicate lo...
Frithjof Dau, Peter W. Eklund
BXML
2003
13 years 9 months ago
Rule-Based Generation of XML Schemas from UML Class Diagrams
We present an approach of how to automatically extract an XML document structure from a conceptual data model that describes the content of the document. We use UML class diagrams ...
Tobias Krumbein, Thomas Kudrass
WLP
2004
Springer
14 years 1 months ago
Declaratively Querying and Visualizing Knowledge Bases in Xml
Abstract. The maintenance of large knowledge systems usually is a rather complex task. In this paper we will show that extensions or modifications of a knowledge base can be suppo...
Dietmar Seipel, Joachim Baumeister, Marbod Hopfner
FASE
2008
Springer
13 years 9 months ago
A Logic of Graph Constraints
Abstract. Graph constraints were introduced in the area of graph transformation, in connection with the notion of (negative) application conditions, as a form to limit the applicab...
Fernando Orejas, Hartmut Ehrig, Ulrike Prange
VL
1993
IEEE
159views Visual Languages» more  VL 1993»
13 years 11 months ago
A Visual Logic Programming Language Based on Sets and Partitioning Constraints
This paper presents a new programming language named SPARCL that has four major elements: it is a visual language, it is a logic programming language, it relies on sets to organiz...
Lindsey L. Spratt, Allen L. Ambler