Search Sciweavers | Sciweavers

3032 search results - page 23 / 607

» Description Logic Rules

click to vote

COMPASS
1994

172views Programming Languages» more COMPASS 1994»

Equations for Describing Dynamic Nets of Communicating Systems

13 years 11 months ago

Download www4.in.tum.de

We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...

Manfred Broy

claim paper

Read More »

click to vote

RML
2002

162views Business» more RML 2002»

A Markup Language for ORM Business Rules

13 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Conceptual modeling techniques such as EER, ORM and to some extent the UML have been developed in the past for building information systems. These techniques or suitable extensions...

Jan Demey, Mustafa Jarrar, Robert Meersman

claim paper

Read More »

click to vote

ADBIS
2003
Springer

194views Database» more ADBIS 2003»

Rule-Based Generation of XML DTDs from UML Class Diagrams

14 years 28 days ago

Download www.imamu.edu.sa

We present an approach of how to extract automatically an XML document structure from a conceptual data model that describes the content of a document. We use UML class diagrams as...

Thomas Kudrass, Tobias Krumbein

claim paper

Read More »

click to vote

CADE
1998
Springer

143views Logical Reasoning» more CADE 1998»

System Description: LEO - A Higher-Order Theorem Prover

13 years 12 months ago

Download www.ags.uni-sb.de

Christoph Benzmüller, Michael Kohlhase

claim paper

Read More »