Back to Results
First PageMeta Content
Finite model theory / Ontology / Descriptive complexity / Conjunctive query / Database theory / Computational complexity theory / Conjunctive normal form / FO / Description logic / Theoretical computer science / Mathematics / Mathematical logic


Journal of Artificial Intelligence Research[removed]204 Submitted 06/07; published[removed]Conjunctive Query Answering for the Description Logic SHIQ
Add to Reading List

Document Date: 2009-08-06 19:21:15

Open Document

File Size: 501,28 KB

Share Result on Facebook

City

Hustadt / /

Company

Let NV / /

/

Event

FDA Phase / /

Facility

Description Logic SHIQ Birte Glimm Ian Horrocks birte.glimm@comlab.ox.ac.uk ian.horrocks@comlab.ox.ac.uk Oxford University Computing Laboratory / Germany Ulrike Sattler sattler@cs.man.ac.uk The University of Manchester / Dresden University of Technology / /

IndustryTerm

tableau algorithms / deterministic algorithm / data-intensive applications / /

Organization

University of Manchester / AI Access Foundation / UK Carsten Lutz clu@tcs.inf.tu-dresden.de Dresden University of Technology / Description Logic SHIQ Birte Glimm Ian Horrocks birte.glimm@comlab.ox.ac.uk ian.horrocks@comlab.ox.ac.uk Oxford University Computing Laboratory / /

Person

Carsten Lutz / Ulrike Sattler sattler / /

Position

query head / head / /

Product

T1 / /

ProgrammingLanguage

SQL / Datalog / /

ProvinceOrState

S.C / /

PublishedMedium

Journal of Artificial Intelligence Research / /

Technology

deterministic algorithm / artificial intelligence / rewriting algorithm / tableau algorithms / presented algorithm / /

URL

http /

SocialTag