<--- Back to Details
First PageDocument Content
Information / Abox / Tbox / Web Ontology Language / FO / PP / Inference / Description logic / Probability / Logic / Ontology / Science
Date: 2012-10-03 13:31:07
Information
Abox
Tbox
Web Ontology Language
FO
PP
Inference
Description logic
Probability
Logic
Ontology
Science

Ontology-Based Access to Probabilistic Data with OWL QL Jean Christoph Jung and Carsten Lutz Universit¨ at Bremen, Germany {jeanjung,clu}@informatik.uni-bremen.de

Add to Reading List

Source URL: iswc2012.semanticweb.org

Download Document from Source Website

File Size: 388,32 KB

Share Document on Facebook

Similar Documents

Description Logics  ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007

Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007

DocID: 1xVOl - View Document

System Feature Description: Importing Refutations into the GAPT Framework PxTP Workshop, Manchester Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller and Bruno Woltzenlogel-Pal

System Feature Description: Importing Refutations into the GAPT Framework PxTP Workshop, Manchester Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller and Bruno Woltzenlogel-Pal

DocID: 1xVjW - View Document

System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1  Vienna University of Technology

System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology

DocID: 1xUHR - View Document

System Feature Description: Importing Refutations into the GAPT Framework Cvetan Dunchev Alexander Leitsch Tomer Libal

System Feature Description: Importing Refutations into the GAPT Framework Cvetan Dunchev Alexander Leitsch Tomer Libal

DocID: 1xUgI - View Document

Transforming Fuzzy Description Logic ALCFL into Classical Description Logic ALCH Yining Wu  Overseeing Professor: Prof. Steffen H¨olldobler

Transforming Fuzzy Description Logic ALCFL into Classical Description Logic ALCH Yining Wu Overseeing Professor: Prof. Steffen H¨olldobler

DocID: 1veZ0 - View Document