15 found
Order:
  1. 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.  41
    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  
  3.  45
    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  
  4.  24
    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 (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  45
    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  
  6.  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.
  7. 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  
  8.  16
    Modularity in Ontologies.Oliver Kutz & Joana Hois - 2012 - Applied Ontology 7 (2):109-112.
  9. 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   1 citation  
  10. 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  
  11. Formal Ontology in Information Systems. Proceedings of the Eighth International Conference.Pawel Garbacz & Oliver Kutz (eds.) - 2014 - IOS Press.
     
    Export citation  
     
    Bookmark  
  12. 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  
  13. CEUR Workshop Proceedings Vol-812.Janna Hastings, Oliver Kutz, Mehul Bhatt & Stefano Borgo (eds.) - 2011 - Editors.
    No categories
     
    Export citation  
     
    Bookmark  
  14. CEUR Workshop Procecedings Vol-1007.Oliver Kutz, Mehul Bhatt, Stefano Borgo & Paulo Santos (eds.) - 2013
     
    Export citation  
     
    Bookmark  
  15. 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