Back to Results
First PageMeta Content
Non-classical logic / Artificial intelligence / Description logic / Information science / First-order logic / FO / Lambda calculus / Function / Knowledge representation and reasoning / Mathematical logic / Logic / Mathematics


Expressing DL-Lite Ontologies with Controlled English Raffaella Bernardi, Diego Calvanese, Camilo Thorne Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani 3, Bolzano, Italy {bernardi,calvanes
Add to Reading List

Document Date: 2007-05-22 01:39:22


Open Document

File Size: 110,39 KB

Share Result on Facebook

/

Facility

By building / University of Manchester / Computer Science Free University of Bozen-Bolzano Piazza Domenicani / University of Chicago Press / /

IndustryTerm

real life applications / /

NaturalFeature

t∈T Mt / Lascar / /

OperatingSystem

XP / /

Organization

University of Manchester / Faculty of Engineering and Physical Sciences / European Union / University of Chicago Press / Computer Science Free University of Bozen-Bolzano Piazza Domenicani / Camilo Thorne Faculty / Stanford / /

Person

Diego Calvanese / Camilo Thorne / Logica Universalis / /

Position

structural data model for objects / VP / editor / representative / salesman / /

Technology

simulation / /

URL

http /

SocialTag