Searching for "The DLRUS Temporal Description Logic." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
The DLR_US Temporal Description Logic
- …The DLR US Temporal Description Logic Alessandro Artale Dept. of Computation UMIST, Manchester, UK…
- Add To MetaCart
-
Essential and mandatory part-whole relations in conceptual data models
- … logic DLRUS. The temporal description logic DLRUS [3] combines the propositional temporal logic…
- Cited by 1 (1 self) – Add To MetaCart
-
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries
- … logic DLR [12]. The resulting DLRUS temporal description logic can be regarded as a rather expressive…
- Cited by 14 (6 self) – Add To MetaCart
Showing 1 through 3.
