Back to Results
First PageMeta Content



A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries Alessandro Artale1 , Enrico Franconi2 , Frank Wolter3 , Michael Zakharyaschev4 1 Dept. of Computation, UMIST, Manchester, UK; t
Add to Reading List

Document Date: 2017-01-27 04:48:10

Open Document

File Size: 191,33 KB

Share Result on Facebook

City

Manchester / /

Company

Manages X Department InterestGroup / InterestGroup / /

Country

United Kingdom / Italy / /

/

Facility

Kings College / /

IndustryTerm

temporal information systems / n-ary cross product / /

Organization

artale@co.umist.ac.uk Faculty of Computer Science / Univ. of Leipzig / Free Univ. of Bolzano / Kings College / London / /

Person

Managerv / /

Position

Manager Project / ¬Manager / v∗ Manager / ¬TopManager TopManager v∗ Manager / Manager / Work-For / AreaManager v∗ Manager / manager / /

ProgrammingLanguage

Datalog / /

SocialTag