KRDB RESEARCH CENTRE KNOWLEDGE REPRESENTATION MEETS DATABASES Faculty of Computer Science, Free University of Bozen-Bolzano, Piazza Domenicani 3, 39100 Bolzano, Italy Tel: +, fax: +, http://ww

Source URL: www.inf.unibz.it

• Mathematics
• Logic
• Mathematical logic
• Ontology
• Boolean algebra
• Mereology
• Predicate logic
• Algebraic logic
• ZermeloFraenkel set theory
• Binary relation
• Power set
• Mereotopology

Empowering Communities with Data Technologies

Source URL: www.big-data-europe.eu

• Data management
• Information science
• Formal sciences
• Big data
• Transaction processing
• Open data
• Data integration
• Data science
• Ontology
• Analytics

Dynamic Ontology Refinement Fiona McNeill, Alan Bundy, Marco Schorlemmer Centre for Intelligent Systems and their Applications, School of Informatics, University of Edinburgh , bundy,marco @inf.ed.ac.

Source URL: homepages.inf.ed.ac.uk

The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited Giancarlo Guizzardi Ontology and Conceptual Modeling Research Group (NEMO) Computer Science Department, Federal University of Espírito

Source URL: www.inf.ufes.br

Hierarchical Semi-supervised Classification with Incomplete Class Hierarchies Bhavana Dalvi ∗ Aditya Mishra

Source URL: ai2-website.s3.amazonaws.com

• Knowledge representation
• Semantic Web
• Information science
• Technical communication
• Web Ontology Language
• Hierarchy
• Hierarchical clustering
• K-means clustering
• Expectationmaximization algorithm
• Algorithm
• Ontology
• WordNet

Further Development of a Digital Library Curriculum: Evaluation Approaches and New Tools Seungwon Yang, Uma Murthy, Seonho Kim and Edward A. Fox, Department of Computer Science, Virginia Tech,

Source URL: curric.dlib.vt.edu

• Technical communication
• Semantic Web
• Knowledge representation
• Records management
• Business intelligence
• Ontology
• Web Ontology Language
• Library

Problem statement Undecidability Decidability

Source URL: a3nm.net

• Logic
• Computing
• Proof theory
• Philosophy
• Decidability
• Metalogic
• Artificial intelligence
• Non-classical logic
• Conjunctive query
• Description logic
• Web Ontology Language

A Sketch of an Ontology of Spaces Pierre Grenon Knowledge Media Institute The Open University

Source URL: kmi.open.ac.uk

• Metaphysics
• Philosophy
• Virtual reality
• Ontology
• Digital media
• Space
• Virtual world
• Real Spaces
• Reality
• Virtual museum
• Category of being
• Learning space

Towards the reuse of standardized thesauri into ontologies1 Elena Cardillo1, Antonietta Folino2, Roberto Trunfio2, Roberto Guarasci2 1 Institute for Informatics and Telematics, Italian National Research Council, Pisa, I

Source URL: ontologydesignpatterns.org

• Semantic Web
• Knowledge representation
• Information science
• Ontology
• Technical communication
• Simple Knowledge Organization System
• AGROVOC
• ISO 25964
• Resource Description Framework
• RDF Schema
• Web Ontology Language
• Thesaurus

Extending Datatype Support in Web Ontology Reasoning Jeff Z. Pan and Ian Horrocks Information Management Group Department of Computer Science University of Manchester Oxford Road, Manchester M13 9PL, UK

Source URL: www.cs.man.ac.uk