Data Analysis Provenance: Use Case for Exoplanet Search in CoRoT Database Lucélia de Souza1,2, Maria Salete Marcon Gomes Vaz3,2, Marcelo Emílio3, José Carlos Ferreira da Rocha3, Eduardo Janot Pacheco4 and Rodrigo Carl

First Page		Document Content
Date: 2011-11-23 06:06:17 Semantic Web Information science Knowledge representation Technical communication Protégé COROT Description logic Web Ontology Language Ontology language Science Information Ontology		Data Analysis Provenance: Use Case for Exoplanet Search in CoRoT Database Lucélia de Souza1,2, Maria Salete Marcon Gomes Vaz3,2, Marcelo Emílio3, José Carlos Ferreira da Rocha3, Eduardo Janot Pacheco4 and Rodrigo Carl Add to Reading List Source URL: www.eso.org Download Document from Source Website File Size: 731,40 KB Share Document on Facebook

	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 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 DocID: 1xUHR - View Document
	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 DocID: 1veZ0 - View Document