Auflistung Nach Schlagwort "Description logics" - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-12 von 12

«
»

A Short Survey on Inconsistency Handling in Ontology-Mediated Query Answering

Bienvenu, Meghyn
443-451
Abductive Conjunctive Query Answering w.r.t. Ontologies

Möller, Ralf; Özçep, Özgür; Haarslev, Volker; Nafissi, Anahita; Wessel, Michael
177-182
Error-Tolerance and Error Management in Lightweight Description Logics

Peñaloza, Rafael
491-500
LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics

Koopmann, Patrick
381-387
Many Facets of Reasoning Under Uncertainty, Inconsistency, Vagueness, and Preferences: A Brief Survey

Kern-Isberner, Gabriele; Lukasiewicz, Thomas
9-13
Quantitative Methods for Similarity in Description Logics

Ecke, Andreas
107-109
Querying Rich Ontologies by Exploiting the Structure of Data

Bajraktari, Labinot
395-398
SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT

Manthey, Norbert; Peñaloza, Rafael; Rudolph, Sebastian
389-394
Semantic Technologies for Situation Awareness

Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Thost, Veronika; Turhan, Anni-Yasmin
543-550
Small is Again Beautiful in Description Logics

Baader, Franz; Lutz, Carsten; Turhan, Anni-Yasmin
25-33
The AAA ABox Abduction Solver

Pukancová, Júlia; Homola, Martin
517-522
Towards Higher-order OWL

Homola, Martin; Kľuka, Ján; Hozzová, Petra; Svátek, Vojtěch; Vacura, Miroslav
417-421

Anzeige der Dokumente 1-12 von 12

«
»