1 resultado para Deduction
em Aberdeen University
Filtro por publicador
- Aberdeen University (1)
- Aberystwyth University Repository - Reino Unido (1)
- Academic Archive On-line (Stockholm University; Sweden) (1)
- Adam Mickiewicz University Repository (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (7)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (1)
- Aston University Research Archive (4)
- Biblioteca Digital | Sistema Integrado de Documentación | UNCuyo - UNCUYO. UNIVERSIDAD NACIONAL DE CUYO. (1)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (4)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (4)
- Brock University, Canada (4)
- Bulgarian Digital Mathematics Library at IMI-BAS (6)
- CaltechTHESIS (1)
- Cambridge University Engineering Department Publications Database (1)
- CentAUR: Central Archive University of Reading - UK (1)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (10)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (1)
- CORA - Cork Open Research Archive - University College Cork - Ireland (1)
- Dalarna University College Electronic Archive (3)
- Deakin Research Online - Australia (8)
- Department of Computer Science E-Repository - King's College London, Strand, London (5)
- Digital Commons @ DU | University of Denver Research (1)
- Digital Peer Publishing (2)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (1)
- FUNDAJ - Fundação Joaquim Nabuco (1)
- Helda - Digital Repository of University of Helsinki (2)
- Indian Institute of Science - Bangalore - Índia (5)
- Instituto Politécnico de Castelo Branco - Portugal (1)
- Instituto Politécnico do Porto, Portugal (1)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (1)
- Massachusetts Institute of Technology (12)
- Memoria Académica - FaHCE, UNLP - Argentina (9)
- Nottingham eTheses (1)
- Portal de Revistas Científicas Complutenses - Espanha (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (9)
- Queensland University of Technology - ePrints Archive (11)
- Repositório digital da Fundação Getúlio Vargas - FGV (3)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (26)
- South Carolina State Documents Depository (1)
- Universidad del Rosario, Colombia (1)
- Universidad Politécnica de Madrid (12)
- Universidade Complutense de Madrid (1)
- Universidade de Lisboa - Repositório Aberto (1)
- Universidade Federal do Rio Grande do Norte (UFRN) (10)
- Université de Montréal (1)
- Université de Montréal, Canada (2)
- University of Michigan (6)
- University of Queensland eSpace - Australia (3)
- WestminsterResearch - UK (1)
Resumo:
Acknowledgements This work has been partially supported by the European project Marrying Ontologies and Software Technologies (EU ICT2008-216691), the European project Knowledge Driven Data Exploitation (EU FP7/IAPP2011-286348), the UK EPSRC project WhatIf (EP/J014354/1). The authors thank Prof. Ian Horrocks and Dr. Giorgos Stoilos for their helpful discussion on role subsumptions. The authors thank Rafael S. Gonçalves et al. for providing their hotspots ontologies. The authors also thank BoC-group for providing their ADOxx Metamodelling ontologies.