Back to Results
First PageMeta Content
Symbol / Model theory / Rewriting / Datalog / FO / Theoretical computer science / Logic / Mathematics


Efficient Query Rewriting in the Description Logic EL and Beyond ˙ Peter Hansen and Carsten Lutz and Inanc ¸ Seylan University of Bremen, Germany {hansen, clu, seylan}@informatik.uni-bremen.de
Add to Reading List

Document Date: 2015-05-04 02:34:23


Open Document

File Size: 436,10 KB

Share Result on Facebook

City

Introduction Ontology / Ontology / /

Company

Cambridge University Press / /

Currency

pence / /

/

Event

FDA Phase / /

Facility

store Γ. / Frank Wolter University of Liverpool / Seylan University of Bremen / /

IndustryTerm

quad-core processor / tableau algorithms / backward chaining algorithm / conventional relational database systems / /

OperatingSystem

XP / Linux / /

Organization

Cambridge University / Seylan University of Bremen / University of Liverpool / /

Person

Carsten Lutz / Peter Hansen / /

Position

forward / head / Engineer / /

Product

A0 / /

ProgrammingLanguage

Datalog / /

ProvinceOrState

Rhode Island / North Carolina / /

Technology

IME algorithm / RAM / decomposed algorithm / artificial intelligence / relational database system / relational database / Linux / tableau algorithms / Decomposed Algorithm The algorithm / RDBMS / backward chaining algorithm / Backwards Chaining Algorithm The algorithm / improved algorithm / dom / presented algorithm / /

URL

http /

SocialTag