Semantisches Browsen
Aus International Center for Computational Logic
Dr. +
E-MailDieses Attribut ist ein Spezialattribut in diesem Wiki.
1 +
Hi!
I am a postdoctoral scholar here at t … Hi!</br></br>I am a postdoctoral scholar here at the [[Wissensbasierte Systeme/en|Knowledge-Based Systems]] group led by Prof. Dr. [[Markus Krötzsch]].</br>Broadly speaking, I am interested in symbolic artificial intelligence and knowledge representation related topics. More precisely, I study the theoretical properties of logical languages such as [[Beschreibungslogiken/en|Description Logics]] and [[Existenzielle Regeln/en|Existential Rules]], and the use and application of [[Semantische Technologien/en|Semantic Technologies]] in different domains.</br></br>A bit about my academic career: I completed my master's and doctor's degrees at Wright State University, both under the supervision of Prof. Dr. [http://dase.cs.wright.edu/people/Pascal-Hitzler Pascal Hitzler], in 2012 and 2016, respectively. For a couple months at the beginning of my Ph.D., I was an exchange student at the University of Oxford, working under the supervision of Prof. Dr. [http://www.cs.ox.ac.uk/people/bernardo.cuencagrau/ Bernardo Cuenca Grau].ernardo.cuencagrau/ Bernardo Cuenca Grau]. +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
David Carral +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
7. Januar 2021, 12:38:05 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
A Geo-ontology Design Pattern for Semantic Trajectories +, A Journey to the Frontiers of Query Rewritability +, A Logical Geo-Ontology Design Pattern for Quantifying over Types +, A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies +, All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles +, An Ontology Design Pattern for Activity Reasoning +, An Ontology Design Pattern for Cartographic Map Scaling +, An Ontology Design Pattern for Data Integration in the Library Domain +, An Ontology Design Pattern for Particle Physics Analysis +, Answering Conjunctive Queries for Expressive DLs with the Restricted Chase: Extended Abstract +, Capturing Homomorphism-Closed Decidable Queries with Existential Rules +, Chasing Sets: How to Use Existential Rules for Expressive Reasoning +, Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract) +, Checking Chase Termination over Ontologies of Existential Rules with Equality +, Deciding Hyperproperties Combined with Functional Specifications +, Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report) +, EL-ifying Ontologies +, Efficient Model Construction for Horn Logic with VLog +, Efficient Model Construction for Horn Logic with VLog: Extended Abstract +
Database Theory +, Existential Rules +, Foundations of Complexity Theory +, Seminar Selected Topics in Database Theory +, Seminar Selected Topics in Database Theory + und Seminar Selected Topics on Existential Rules +
Lecturer
Lecturers
