Héctor Pérez-Urbina, Boris Motik & Ian Horrocks, Tractable query ...philpapers.org › rec › PRETQA
philpapers.org
Flexible Query Answering Using Distance-Based Fuzzy Relations.Ulrich Bodenhofer, Josef Küng & Susanne Saminger In Harrie de Swart, Ewa ...
HermiT - Protege Wiki
protegewiki.stanford.edu
Author(s), Boris Motik, Birte Glimm, Giorgos Stoilos, Ian Horrocks, Rob Shearer. Last Update, March 1, License, LGPL. Homepage, HermiT website.
Publications of Boris Motik
mkh.cs.man.ac.uk
[4], Delta-Reasoner: a Semantic Web Reasoner for an Intelligent Mobile Platform (Boris Motik, Ian Horrocks, Su Myeon Kim), In Proc.\ of the Twentyfirst ...
A Semantic Web Primer - Grigoris Antoniou, Paul Groth, Frank van...
books.google.de
Here are the main entry points for learning more about the OWL2 language: • Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Achille Fokoue, and ...
Modeling Semantic Web Services: The Web Service Modeling Language -...
books.google.de
International Journal on Semantic Web and Information Systems (IJSWIS), 3(2):66–95, Boris Motik, Ian Horrocks, Riccardo Rosati, and Ulrike Sattler.
Reasoning Techniques for the Web of Data - A. Hogan - Google Books
books.google.de
Boris Motik. Web Ontology Reasoning with Logic Databases. PhD thesis, AIFB, Karlsruhe, Germany, Boris Motik, Ian Horrocks, and Ulrike Sattler. Bridging ...
Parallel Datalog Reasoning in RDFox Presentation
de.slideshare.net
PARALLEL DATALOG REASONING IN RDFOX Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu University of Oxford ...
Datalog Materialisation in Distributed RDF Stores with ...arxiv.org › cs
arxiv.org
Authors:Temitope Ajileye, Boris Motik, Ian Horrocks · Download PDF. Abstract: Several centralised RDF systems support datalog reasoning by ...
The HermiT OWL Reasoner - CEUR-WS.org
ceur-ws.org
The HermiT OWL Reasoner Ian Horrocks, Boris Motik, and Zhe Wang Oxford University Department of Computer Science Oxford, OX1 3QD, UK {ian.horrocks,boris.motik,zhe ...
[ ] Stratified Negation in Limit Datalog Programs
arxiv.org
Authors: Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks. (Submitted on 25 Apr 2018). Abstract: There has recently been an ...
Boris Motik - dblpdblp.org › Persons
dblp.org
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancik, Ian Horrocks: Consequence-Based Reasoning for ...
Search results for "OWLED" – FacetedDBLP
dblp.l3s.de
Despoina Magka, Boris Motik, Ian Horrocks: Classifying Chemicals Using Description Graphs and Logic Programming. OWLED : 2012: DBLP BibTeX RDF: 1:
Acyclicity Notions for Existential Rules and Their Application to...
iccl.inf.tu-dresden.de
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang Acyclicity Notions for Existential Rules and ...
Acyclicity Conditions and their Application to Query Answering in...
iccl.inf.tu-dresden.de
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang Acyclicity Conditions and their Application to Query Answering in Description Logics Proc. 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), ...
HermiT: An OWL 2 Reasoner | SpringerLink
link.springer.com
HermiT: An OWL 2 Reasoner. Birte Glimm,; Ian Horrocks,; Boris Motik,; Giorgos Stoilos,; Zhe Wang … show all 5 hide. Download PDF (1,
Alle Infos zum Namen "Boris Motik"
Markus Krötzsch - Google Scholar Citations
scholar.google.at
Sebastian Rudolph,; Pascal Hitzler,; Denny Vrandečić,; York Sure-Vetter,; Ian Horrocks,; Bijan Parsia,; Yevgeny Kazakov,; Despoina Magka,; Boris Motik,; Duc ...
OWL Datatypes: Design and Implementation Boris Motik and Ian Horrocks...
slideplayer.com
· Presentation on theme: "OWL Datatypes: Design and Implementation Boris Motik and Ian Horrocks University of Oxford."— Presentation transcript:
Boris Motik - GM-RKB - Gabor Melliwww.gabormelli.com › RKB › Bor...
www.gabormelli.com
Boris Motik is a person. See: OWL ... (Motik et al., 2009) ⇒ Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Achille Fokoue, and Carsten Lutz. (2009).
Boris Motik Archives - Semantic Web Company
semantic-web.com
Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter Patel-Schneider, and Ulrike Sattler. OWL 2: The next step for OWL. J. of Web Semantics, ...
CEUR-WS.org/Vol Workshop on Description Logics 2008
ceur-ws.org
21st International Workshop on Description Logics : Dresden, Germany May 13–16, Edited by . Franz ... Rob Shearer, Boris Motik and Ian Horrocks;
ESWC09 Tutorial - Semantic Web Technologies
www.semantic-web-book.org
OWL 2 Rules . This tutorial was given at ESWC 2009, Heraklion, Crete, Greece, May 31, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, ...
OWL LD Entailment Ruleset and Implementational Notes
semanticweb.org
This document briefly outlines the OWL LD profile and ruleset, ... Profiles Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Achille Fokoue, ...
(PDF) Optimising Ontology Classification Birte Glimm' Ian Horrocks'...
www.academia.edu
By Giorgos Stoilos.
CiteSeerX — Adding Integrity Constraints to OWL
citeseerx.ist.psu.edu
BibTeX. @MISC{Motik_addingintegrity, author = {Boris Motik and Ian Horrocks and Ulrike Sattler}, title = {Adding Integrity Constraints to OWL}, year = {} } ...
Can OWL and logic programming live together happily ever after?
www.diag.uniroma1.it
Ian Horrocks, Boris Motik, Riccardo Rosati, Ulrike Sattler. In Proceedings of the Fifth International Semantic Web Conference (ISWC 2006), pages ,
Consequence-Based Reasoning for Description Logics with ...www.jair.org › jair › article › view
www.jair.org
Main Article Content. Andrew Bate. Boris Motik. Bernardo Cuenca Grau. David Tena Cucala. František Simančík. Ian Horrocks ...
HermiT Reasoner: Publications
www.hermit-reasoner.com
Birte Glimm, Ian Horrocks, and Boris Motik. Optimized Description Logic Reasoning via Core Blocking. In Jürgen Giesl and Reiner Hähnle, editors, Proc. of the ...
OBO and OWL: Leveraging Semantic Web Technologies for ...www.springerprofessional.de › obo...
www.springerprofessional.de
Authors: Christine Golbreich, Matthew Horridge, Ian Horrocks, Boris Motik, Rob Shearer. Publisher: Springer Berlin Heidelberg. Published in: The Semantic Web.
LI Ding, Tim Finin "Characterizing the Semantic Web on the Web", Fifth ...
cgi.di.uoa.gr
(Επιλέχθη: Μαρία Τζάνου); Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler, "Can OWL and Logic Programming Live Together Happily Ever After?
OWL 2: The next step for OWL - Citation formats | Research ...www.research.manchester.ac.uk › e...
www.research.manchester.ac.uk
author = "Grau, {Bernardo Cuenca} and Ian Horrocks and Boris Motik and Bijan Parsia and Peter Patel-Schneider and Ulrike Sattler",. year = "2008",.
Lemmas for Justifications in OWL - Citation formats | Research...
www.research.manchester.ac.uk
Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July , ed. / Bernardo Cuenca Grau; Ian Horrocks; Boris Motik. Vol CEUR-WS.org, (CEUR Workshop Proceedings). Research output: Chapter in Book/Report/Conference proceeding › Conference ...
REF Case study search
impact.ref.ac.uk
Ian Horrocks was the principal investigator on the project and Boris Motik the co-investigator. They led a team of post-doctoral researchers and PhD students ...
sortiert nach Relevanz / Datum