126 search results - page 1 / 26 » Using Description Logic for Reasoning about Diagrammatical N... |
DLOG
1996
13 years 6 months ago
1996
KSEM
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
VL
1996
IEEE
13 years 9 months ago
1996
IEEE
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 ...
ECOOPW
1997
Springer
13 years 9 months ago
1997
Springer
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...
DIAGRAMS
2004
Springer
13 years 9 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...