Toward G-OWL: A graphical, polymorphic and typed syntax for building formal OWL2 ontologies Michel Héon Université du Québec à Montréal Montréal (Québec)

First Page		Document Content
Date: 2017-10-04 00:39:05 Semantic Web Computing Information science World Wide Web Consortium Knowledge engineering Knowledge representation Technical communication Web Ontology Language Ontology Description logic Resource Description Framework RDF Schema		Toward G-OWL: A graphical, polymorphic and typed syntax for building formal OWL2 ontologies Michel Héon Université du Québec à Montréal Montréal (Québec) Add to Reading List Source URL: gdac.uqam.ca Download Document from Source Website File Size: 1,61 MB 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