26 found
Order:
  1.  29
    Perceptron Connectives in Knowledge Representation.Pietro Galliani, Guendalina Righetti, Daniele Porello, Oliver Kutz & Nicolas Toquard - 2020 - In Knowledge Engineering and Knowledge Management - 22nd International Conference, {EKAW} 2020, Bolzano, Italy, September 16-20, 2020, Proceedings. Lecture Notes in Computer Science 12387. pp. 183-193.
    We discuss the role of perceptron (or threshold) connectives in the context of Description Logic, and in particular their possible use as a bridge between statistical learning of models from data and logical reasoning over knowledge bases. We prove that such connectives can be added to the language of most forms of Description Logic without increasing the complexity of the corresponding inference problem. We show, with a practical example over the Gene Ontology, how even simple instances of perceptron connectives are (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  7
    Pink Panthers and Toothless Tigers: Three Problems in Classification.Guendalina Righetti, Daniele Porello, Oliver Kutz, Nicolas Troquard & Claudio Masolo - 2019 - In Proceedings of the 7th International Workshop on Artificial Intelligence and Cognition, Manchester, UK, September 10-11, 2019. {CEUR} Workshop Proceedings 2483. pp. 39-53.
    Many aspects of how humans form and combine concepts are notoriously difficult to capture formally. In this paper, we focus on the representation of three particular such aspects, namely overexten- sion, underextension, and dominance. Inspired in part by the work of Hampton, we consider concepts as given through a prototype view, and by considering the interdependencies between the attributes that define a concept. To approach this formally, we employ a recently introduced family of operators that enrich Description Logic languages. These (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  38
    Asymmetric Hybrids: Dialogues for Computational Concept Combination.Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria Hedblom & Pietro Galliani - 2022 - In Fabian Neuhaus & Boyan Brodaric (eds.), Formal Ontology in Information Systems - Proceedings of the Twelfth International Conference, {FOIS} 2021, Bozen-Bolzano, Italy, September 11-18, 2021. Frontiers in Artificial Intelligence and Applications. IOS Press. pp. 81-96.
    When people combine concepts these are often characterised as “hybrid”, “impossible”, or “humorous”. However, when simply considering them in terms of extensional logic, the novel concepts understood as a conjunctive concept will often lack meaning having an empty extension (consider “a tooth that is a chair”, “a pet flower”, etc.). Still, people use different strategies to produce new non-empty concepts: additive or integrative combination of features, alignment of features, instantiation, etc. All these strategies involve the ability to deal with conflicting (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. Two Approaches to Ontology Aggregation Based on Axiom Weakening.Daniele Porello, Nicolaas Troquard, Oliver Kutz, Rafael Penaloza, Roberto Confalonieri & Pietro Galliani - 2018 - In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden. pp. 1942--1948.
    Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies. In a multi-agent setting, integrating ontologies corresponding to multiple agents may lead to inconsistencies. Such inconsistencies can be resolved after the integrated ontology has been built, or their generation can be prevented during ontology generation. We implement and compare these two approaches. First, we study how to repair an inconsistent ontology resulting from a voting-based aggregation of views of heterogeneous agents. Second, we prevent the generation of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  1
    A Computational Framework for Conceptual Blending.Manfred Eppe, Ewen Maclean, Roberto Confalonieri, Oliver Kutz, Marco Schorlemmer, Enric Plaza & Kai-Uwe Kühnberger - 2018 - Artificial Intelligence 256:105-129.
  6.  94
    A Toothful of Concepts: Towards a Theory of Weighted Concept Combination.Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani & Claudio Masolo - 2019 - In Mantas Simkus & Grant E. Weddell (eds.), Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019.
    We introduce a family of operators to combine Description Logic concepts. They aim to characterise complex concepts that apply to instances that satisfy \enough" of the concept descriptions given. For instance, an individual might not have any tusks, but still be considered an elephant. To formalise the meaning of "enough", the operators take a list of weighted concepts as arguments, and a certain threshold to be met. We commence a study of the formal properties of these operators, and study some (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  31
    Towards Knowledge-Driven Distillation and Explanation of Black-Box Models.Roberto Confalonieri, Guendalina Righetti, Pietro Galliani, Nicolas Toquard, Oliver Kutz & Daniele Porello - 2021 - In Proceedings of the Workshop on Data meets Applied Ontologies in Explainable {AI} {(DAO-XAI} 2021) part of Bratislava Knowledge September {(BAKS} 2021), Bratislava, Slovakia, September 18th to 19th, 2021. CEUR 2998.
    We introduce and discuss a knowledge-driven distillation approach to explaining black-box models by means of two kinds of interpretable models. The first is perceptron (or threshold) connectives, which enrich knowledge representation languages such as Description Logics with linear operators that serve as a bridge between statistical learning and logical reasoning. The second is Trepan Reloaded, an ap- proach that builds post-hoc explanations of black-box classifiers in the form of decision trees enhanced by domain knowledge. Our aim is, firstly, to target (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. -Connections of Abstract Description Systems.Oliver Kutz, Carsten Lutz, Frank Wolter & Michael Zakharyaschev - 2004 - Artificial Intelligence 156 (1):1-73.
  9.  14
    Concept Combination in Weighted Logic.Guendalina Righetti, Claudio Masolo, Nicolas Toquard, Oliver Kutz & Daniele Porello - 2021 - In Proceedings of the Joint Ontology Workshops 2021 Episode {VII:} The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems {(FOIS} 2021), and the 12th Internati.
    We present an algorithm for concept combination inspired and informed by the research in cognitive and experimental psychology. Dealing with concept combination requires, from a symbolic AI perspective, to cope with competitive needs: the need for compositionality and the need to account for typicality effects. Building on our previous work on weighted logic, the proposed algorithm can be seen as a step towards the management of both these needs. More precisely, following a proposal of Hampton [1], it combines two weighted (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  7
    Foundational Ontologies in Action.Stefano Borgo, Antony Galton & Oliver Kutz - 2022 - Applied ontology 17 (1):1-16.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. The Semantics of Modal Predicate Logic I. Counterpart-Frames.Marcus Kracht & Oliver Kutz - 2002 - In Frank Wolter, Heinrich Wansing, Maarten de Rijke & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 3. CSLI Publications. pp. 299-320.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  12.  47
    Notes on Logics of Metric Spaces.Oliver Kutz - 2007 - Studia Logica 85 (1):75-104.
    In [14], we studied the computational behaviour of various first-order and modal languages interpreted in metric or weaker distance spaces. [13] gave an axiomatisation of an expressive and decidable metric logic. The main result of this paper is in showing that the technique of representing metric spaces by means of Kripke frames can be extended to cover the modal (hybrid) language that is expressively complete over metric spaces for the (undecidable) two-variable fragment of first-order logic with binary pred-icates interpreting the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  28
    Axiomatizing Distance Logics.Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):425-439.
    In [STU 00, KUT 03] we introduced a family of ‘modal' languages intended for talking about distances. These languages are interpreted in ‘distance spaces' which satisfy some of the standard axioms of metric spaces. Among other things, we singled out decidable logics of distance spaces and proved expressive completeness results relating classical and modal languages. The aim of this paper is to axiomatize the modal fragments of the semantically defined distance logics of [KUT 03] and give a new proof of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  21
    Repairing Socially Aggregated Ontologies Using Axiom Weakening.Daniele Porello, Nicolas Triquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz & Rafael Penaloza - 2017 - In {PRIMA} 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings. Lecture Notes in Computer Science 10621,. pp. 441-449.
    Ontologies represent principled, formalised descriptions of agents’ conceptualisations of a domain. For a community of agents, these descriptions may differ among agents. We propose an aggregative view of the integration of ontologies based on Judgement Aggregation (JA). Agents may vote on statements of the ontologies, and we aim at constructing a collective, integrated ontology, that reflects the individual conceptualisations as much as possible. As several results in JA show, many attractive and widely used aggregation procedures are prone to return inconsistent (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  10
    Towards Even More Irresistible Axiom Weakening.Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti & Nicolas Toquard - 2020 - In 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), Online Event, Rhodes, Greece.
    Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its main advantage is that it repairs on- tologies by making axioms less restrictive rather than by deleting them, employing the use of refinement operators. In this paper, we build on pre- viously introduced axiom weakening for ALC, and make it much more irresistible by extending its definitions to deal with SROIQ, the expressive and decidable description logic underlying OWL 2 DL. We extend the definitions of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  46
    Ontological Modelling of Form and Function for Architectural Design.Mehul Bhatt, Joana Hois & Oliver Kutz - 2012 - Applied ontology 7 (3):233-267.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. The Semantics of Modal Predicate Logic I. Counterpart-Frames.Marcus Kracht & Oliver Kutz - 2002 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 299-320.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  18. Formal Ontology in Information Systems: Proceedings of the 10th International Conference (FOIS 2018).Stefano Borgo, Pascal Hitzler & Oliver Kutz (eds.) - 2018 - IOS Press.
    No categories
     
    Export citation  
     
    Bookmark  
  19. Formal Ontology in Information Systems: Proceedings of the Eighth International Conference.Pawel Garbacz & Oliver Kutz (eds.) - 2014 - IOS Press.
    Formal Ontology in Information Systems is the flagship conference of the International Association for Ontology and its Applications. Its interdisciplinary research focus lies at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general.As in previous years, FOIS 2014 was a nexus of interdisciplinary research and communication. The current proceedings (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, {FOIS} 2014, September, 22-25, 2014, Rio de Janeiro, Brazil}.Pawel Garbacz & Oliver Kutz (eds.) - 2014
    No categories
     
    Export citation  
     
    Bookmark  
  21. CEUR Workshop Proceedings Vol-812.Janna Hastings, Oliver Kutz, Mehul Bhatt & Stefano Borgo (eds.) - 2011 - Editors.
    No categories
     
    Export citation  
     
    Bookmark  
  22. CEUR Workshop Procecedings Vol-1007.Oliver Kutz, Mehul Bhatt, Stefano Borgo & Paulo Santos (eds.) - 2013
     
    Export citation  
     
    Bookmark  
  23. Formal Ontology in Information Systems - Proceedings of the 10th International Conference, {FOIS} 2018, Cape Town, South Africa, 19-21 September 2018.Stefano Borgo, Pascal Hitzler & Oliver Kutz (eds.) - 2018 - IOS Press.
    No categories
     
    Export citation  
     
    Bookmark  
  24.  1
    New Semantics for Modal Predicate Logics.Oliver Kutz - 2003 - In Benedikt Löwe, Thoralf Räsch & Wolfgang Malzkorn (eds.), Foundations of the Formal Sciences Ii. Kluwer Academic Publishers. pp. 151--162.
  25.  16
    Modularity in Ontologies.Oliver Kutz & Joana Hois - 2012 - Applied ontology 7 (2):109-112.
  26.  29
    Ontohub: A Semantic Repository Engine for Heterogeneous Ontologies.Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski & Fabian Neuhaus - 2017 - Applied ontology 12 (3-4):275-298.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations