JOWO 2015
Joint Ontology Workshops 2015

Table of Contents

• Preface
  
  

Ontologies and Logic Programming for Query Answering (OntoLP)

• Extending Answer Set Programming using Generalized Possibilistic Logic
  Didier Dubois, Henri Prade, Steven Schockaert
• From Classical to Consistent Query Answering under Existential Rules
  Andreas Pieris
• Logic Programming Techniques for Reasoning with Probabilistic Ontologies
  Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
• ∃-ASP
  Fabien Garreau, Laurent Garcia, Claire Lefèvre, Igor Stéphan
• Imperfect Querying through Womb Grammars plus Ontologies
  Veronica Dahl, Sergio Tessaris, Thom Fruehwirth
• Upward Refinement for Conceptual Blending in Description Logic: An ASP-based Approach and Case Study in EL++
  Roberto Confalonieri, Marco Schorlemmer, Enric Plaza, Manfred Eppe, Oliver Kutz, Rafael Peñaloza
• Extending NoHR for OWL 2 QL
  Nuno Costa, Matthias Knorr, João Leite
• Reasoning with Forest Logic Programs Using Fully Enriched Automata
  Cristina Feier, Thomas Eiter
• Combining Rules and Ontologies via Parametrized Logic Programs
  Ricardo Gonçalves
• On the Influence of Incoherence in Inconsistency-tolerant Semantics for Datalog±
  C. A. Deagustini, M. V. Martinez, M. A. Falappa, G. R. Simari
• Paraconsistent Relational Model: A Quasi-Classic Logic Approach
  Badrinath Jayakumar, Rajshekar Sunderraman
• Merging Incommensurable Possibilistic DL-Lite Assertional Bases
  Salem Benferhat, Zied Bouraoui, Sylvain Lagrue, Julien Rossit

Belief Change and Nonmonotonic Reasoning in Ontologies and Databases (OntoChange)

• Prioritized Base Debugging in Description Logics
  Julien Corman, Nathalie Aussenac-Gilles, Laure Vieu
• Using Kernel Consolidation for Query Answering in Inconsistent OBDA
  Madalina Croitoru, Ricardo Oscar Rodriguez
• Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies
  Tobias Kaminski, Matthias Knorr, João Leite
• Iterative Ontology Updates Using Context Labels
  Rafael Peñaloza, Aparna Saisree Thuluva

Workshop on Modular Ontologies (WoMO)

• Towards Ontology Composition from Cognitive Libraries
  Stefano Borgo
• A Novel Approach for Extracting Well-Founded Ontology Views
  Jose Lozano, Joel Luis Carbonera, Mara Abel
• OntoBacen: A Modular Ontology for Risk Management in the Brazilian Financial System
  Filipe Polizel, Sara Casare, Jaime Sichman
• Ontology Population using Corpus Statistics
  Rogelio Nazar, Irene Renau
• Integrating Graphical Support with Reasoning in a Methodology for Ontology Evolution
  Germán Braun, Laura Cecchi, Pablo Fillottrani

Formal Ontologies for Artificial Intelligence (FOfAI)

• Two Demarcation Problems In Ontology
  Pawel Garbacz
• Two Perspectives on Change and Institutions
  Tim Fernando
• Ontology-Based Introspection in Support of Stream Reasoning
  Daniel de Leng, Fredrik Heintz
• Military Ontologies for Information Dissemination at the Tactical Edge
  Emily Leblanc, Duc Nguyen, Marcello Balduccini, William Regli, Joseph Kopena, Thomas Wambold
• Generative Ontology of Vaisesika
  Rajesh Tavva, Navjyoti Singh
• Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics
  Ayako Nakamura, Koji Mineshima, Daisuke Bekki
• Towards an Ontological Analysis of Powertypes
  Giancarlo Guizzardi, João Paulo Andrade Almeida, Nicola Guarino, Victorio Carvalho