„Description Logics“

Suchergebnisse

1.000+ Treffer

• Towards an ontological representation of morbidity and mortality in Description Logics
  Santana, Felipe ; Freitas, Fred ; Fernandes, Roberta ; Schober, Daniel 2012 Universität
• On the Complexity and Expressiveness of Description Logics with Counting
  Baader, Franz ; De Bortoli, Filippo 2022 Technische Universität Dresden
• Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk)
  Feier, Cristina ; Kuusisto, Antti ; Lutz, Carsten 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics
  Cantone, Domenico ; Longo, Cristiano ; Nicolosi Asmundo, Marianna 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Using Feature-Based Description Logics to avoid Duplicate Elimination in Object-Relational Query Languages
  Toman, David ; Weddell, Grant E.
• Tableau reasoning for description logics and its extension to probabilities
  Zese, Riccardo ; Bellodi, Elena ; Riguzzi, Fabrizio ; Cota, Giuseppe ; Lamma, Evelina
• Computing Subjective Expected Utility using Probabilistic Description Logics
  Acar, Erman 2014 Universitätsbibliothek Mannheim
• Axiomatizing Confident GCIs of Finite Interpretations
  Borchmann, Daniel 2012 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Evidence-Oriented Tracing and Verification, The Declaration of Timeprints
  Massoud, Rehab ; Drechsler, Rolf ; Bertacco, Valeria 2021 Staats- und Universitätsbibliothek Bremen
• Adding Threshold Concepts to the Description Logic EL
  Fernández Gil, Oliver ; Baader, Franz ; Brewka, Gerhard ; Wolter, Frank 2016 Universitätsbibliothek Leipzig
• Reasoning in Description Logic Ontologies for Privacy Management
  Nuradiansyah, Adrian ; Baader, Franz ; Bonatti, Piero A. 2019 Technische Universität Dresden
• Quantitative Variants of Language Equations and their Applications to Description Logics
  Marantidis, Pavlos ; Baader, Franz ; Narendran, Paliath 2019 Technische Universität Dresden
• Context Reasoning for Role-Based Models
  Böhme, Stephan ; Baader, Franz ; Pan, Jeff Z. 2018 Technische Universität Dresden
• Complexity and Expressive Power of Description Logics with Numerical Constraints
  De Bortoli, Filippo ; Baader, Franz ; Ortiz, Magdalena 2025 Technische Universität Dresden
• Using formal ontology for the representation of morphological properties of anatomical structures in endoscopic surgery
  Schäfermeier, Ralph ; Uciteli, Alexandr ; Kropf, Stefan ; Herre, Heinrich
• Model and Proof Theory of Constructive ALC, Constructive Description Logics
  Scheele, Stephan M. ; Mendler, Michael 2015 University of Bamberg Press
• Reasoning in Many Dimensions – Uncertainty and Products of Modal Logics [[Elektronische Ressource]]
  Jung, Jean Christoph ; Lutz, Carsten ; Calvanese, Diego 2014 Staats- und Universitätsbibliothek Bremen
• Towards More Useful Description Logics of Time, Change and Context
  Gutiérrez Basulto, Víctor Didier ; Lutz, Carsten ; Zakharyaschev, Michael 2013 Staats- und Universitätsbibliothek Bremen
• Learning Terminological Knowledge with High Confidence from Erroneous Data
  Borchmann, Daniel ; Ganter, Bernhard ; Baader, Franz ; Kuznetsov, Sergei 2014 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Temporalised Description Logics for Monitoring Partially Observable Events
  Lippmann, Marcel ; Baader, Franz ; Wolter, Frank 2014 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden