Back to Results
First PageMeta Content
Computing / Ontology / Logic in computer science / Mathematical logic / Datalog / Abox / Horn clause / Tbox / Rewriting / Theoretical computer science / Query languages / Mathematics


Document Date: 2014-01-24 17:40:42

Open Document

File Size: 274,83 KB

Share Result on Facebook

City

Hustadt / Ontology / Rome / /

Company

Oracle / ABox AG / John Wiley and Sons / /

Country

Italy / United Kingdom / /

Facility

Boris Motik Giorgos Stoilos University of Oxford / Oracle’s Semantic Data Store / Ian Horrocks University of Oxford / /

IndustryTerm

goal-oriented rewriting algorithm / database systems / machinery / optimised data management systems / sound inference systems / Web J. / /

Organization

NC (v) / Cambridge Univ. / Ian Horrocks University of Oxford / V (ai ) / Boris Motik Giorgos Stoilos University of Oxford / EPSRC / European Union / Royal Society / /

Person

Mantas Simkus / Sebastian Rudolph / Ullrich Hustadt / Markus Stocker / Jagannathan Srinivasan / Guohui Xiao / Roman Kontchakov / Bernardo Cuenca Grau / Horn Ontologies / Michael Zakharyaschev / Raphael Volz / Domenico Lembo / Alvaro del Val / Alessandro Artale / Ai / Ulrike Sattler / Atanas Kiryakov / George Eadon / Souripriya Das / Diego Calvanese / Mattia Palmieri / Daniele Nardi / Zdravko Tashev / Benjamin N. Grosof / Barry Bishop / Rob Shearer / Riccardo Rosati / Andrea Acciarri / Eugene Inseok Chong / Deborah L. McGuinness / Mariano Rodriguez-Muro / Vladimir Kolovski / Adila Krisnadhi / Thomas Eiter / Boris Motik / Ian Horrocks / Franz Baader / Magdalena Ortiz / Ivan Peikov / Trung-Kien Tran / Alessandro Almatelli / Proc / Carsten Lutz / Michael Smith / Stefan Decker / Ruslan Velkov / Giuseppe De Giacomo / Melliyal Annamalai / Sebastian Brandt / Giorgos Stoilos / Frank Wolter / Maurizio Lenzerini / Damyan Ognyanoff / /

Position

head / Bishop / /

Product

TBox Tex / /

ProgrammingLanguage

Datalog / C / /

ProvinceOrState

Rhode Island / /

PublishedMedium

Journal of Artificial Intelligence Research / /

Technology

rewriting algorithm / goal-oriented rewriting algorithm / The algorithm / existing rewriting algorithms / Rewritability Our algorithm / artificial intelligence / condensation / DLP / Query rewriting algorithms / /

SocialTag