The DLRUS temporal description logic

The temporal description logic DLRUS we design in this paper is based on the expressive and decidable description logic DLRwhich allows the logical reconstruction and the extension of representational tools such as object-oriented data models (eg, class diagrams in UML and ODMG), semantic data models (eg, extended entityrelationship, EER, and ORM), frame-based ontology languages (eg, OKBC, XOL, and OIL), and semantic networks [6, 7]. In this setting, an interesting feature of DLR is the ability to completely define entities and relations as ...