Loris Bozzato

Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

Defeasible Reasoning with Prototype Descriptions: First Steps.

[BibT_eX]

[DOI]

Oliver Kutz

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Introducing Weighted Prototypes in Description Logics for Defeasible Reasoning.

[BibT_eX]

[DOI]

Oliver Kutz

Proceedings of the 38th Italian Conference on Computational Logic, 2023

2022

Reasoning on with Defeasibility in ASP.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2022

Representing Mereological Relations in Weighted Description Logics.

[BibT_eX]

[DOI]

Oliver Kutz

Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, 2022

Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract).

[BibT_eX]

[DOI]

Rafael Kiesel

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021

Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures.

[BibT_eX]

[DOI]

Rafael Kiesel

Theory Pract. Log. Program., 2021

Knowledge Graph OLAP.

[BibT_eX]

[DOI]

Semantic Web, 2021

Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures.

[BibT_eX]

[DOI]

Rafael Kiesel

CoRR, 2021

Reasoning on DL-LiteR with Defeasibility in ASP.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Connections Between Answer Set Semantics and Information Terms Semantics in Constructive EL_bot (Extended Abstract).

[BibT_eX]

[DOI]

Camillo Fiorentini

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

Towards Distributed Contextualized Knowledge Repositories for Analysis of Large-Scale Knowledge Graphs.

[BibT_eX]

[DOI]

Christoph G. Schuetz

Proceedings of the 35th Italian Conference on Computational Logic, 2020

Reasoning on Information Term Semantics with ASP for Constructive ELꓕ.

[BibT_eX]

[DOI]

Camillo Fiorentini

Proceedings of the 35th Italian Conference on Computational Logic, 2020

2019

A Note on Reasoning on DL-LiteR with Defeasibility.

[BibT_eX]

[DOI]

CoRR, 2019

Reasoning on \textitDL-Lite_ℛ with Defeasibility in ASP.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Justifiable Exceptions in General Contextual Hierarchies.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2019

Event Detection from Video Using Answer Set Programing.

[BibT_eX]

[DOI]

Proceedings of the 34th Italian Conference on Computational Logic, 2019

Reasoning with Justifiable Exceptions in Eℒ_\bot Contextualized Knowledge Repositories.

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018

ASP Based Generation of Information Terms for Constructive ɛℒ.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix).

[BibT_eX]

[DOI]

CoRR, 2018

Enhancing context knowledge repositories with justifiable exceptions.

[BibT_eX]

[DOI]

Artif. Intell., 2018

Reasoning with Justifiable Exceptions in Contextual Hierarchies.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

CKR: Live Demo: Representing an Evolving Scenario by Contexts and Exceptions.

[BibT_eX]

[DOI]

Gaetano Calabrese

Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

Towards integration of ontology and text-extracted data for event coreference reasoning.

[BibT_eX]

[DOI]

Stefano Borgo

Alessio Palmero Aprosio

Marco Rospocher

Proceedings of the Symposium on Applied Computing, 2017

CKR: Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States.

[BibT_eX]

[DOI]

Gaetano Calabrese

Proceedings of the 30th International Workshop on Description Logics, 2017

2016

On Coreferring Text-extracted Event Descriptions with the aid of Ontological Reasoning.

[BibT_eX]

[DOI]

Stefano Borgo

Alessio Palmero Aprosio

Marco Rospocher

CoRR, 2016

Classification of News by Topic Using Location Data.

[BibT_eX]

[DOI]

Proceedings of the Semantic Technology - 6th Joint International Conference, 2016

2015

A Contextual Framework for Reasoning on Events.

[BibT_eX]

[DOI]

Stefano Borgo

Alessio Palmero Aprosio

Marco Rospocher

Proceedings of the 4th International Workshop on Detection, 2015

2014

Knowledge Propagation in Contextualized Knowledge Repositories: an Experimental Evaluation.

[BibT_eX]

[DOI]

CoRR, 2014

Knowledge Propagation in Contextualized Knowledge Repositories: An Experimental Evaluation - (Extended Paper).

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2014

Combining Reasoning on Semantic Web Metadata.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Contextualized Knowledge Repositories with Justifiable Exceptions.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Defeasibility in Contextual Reasoning with CKR.

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Conference on Computational Logic, 2014

2013

Comparing contextual and flat representations of knowledge: a concrete case about football data.

[BibT_eX]

[DOI]

Chiara Ghidini

Proceedings of the 7th International Conference on Knowledge Capture, 2013

Materialization Calculus for Contexts in the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

ExpTime Tableaux Algorithm for Contextualized ALC.

[BibT_eX]

[DOI]

Martin Homola

Proceedings of the Modeling and Using Context, 2013

2012

A Method and Guidelines for the Cooperation of Ontologies and Relational Databases in Semantic Web Applications.

[BibT_eX]

[DOI]

Stefano Braghin

Alberto Trombetta

Proceedings of the 2nd International Workshop on Semantic Digital Archives, 2012

Towards More Effective Tableaux Reasoning for CKR.

[BibT_eX]

[DOI]

Martin Homola

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

Kripke semantics and tableau procedures for constructive description logics.

[BibT_eX]

[DOI]

PhD thesis, 2011

2010

A Note on Semantic Web Services Specification and Composition in Constructive Description Logics

[BibT_eX]

[DOI]

CoRR, 2010

Composition of Semantic Web Services in a Constructive Description Logic.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

A Decidable Constructive Description Logic.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009

Actions Over a Constructive Semantics for Description Logics.

[BibT_eX]

[DOI]

Paola Villa

Fundam. Informaticae, 2009

2008

Building a Domain Ontology from Glossaries: A General Methodology.

[BibT_eX]

[DOI]

Alberto Trombetta

Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), 2008

Actions over a Constructive Semantics for ALC.

[BibT_eX]

[DOI]

Paola Villa

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

A Constructive Semantics for ALC.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2005

Representation and management of ontologies in cultural heritage domain.

[BibT_eX]

[DOI]

Cristina Ghiselli