QuantLA Quantitative Variants of Language Equations and their Applications to Description Logics Pavlos Marantidis Supervisor: Prof. Dr. Franz Baader

Source URL: www.win.tue.nl

GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable Franz Baader and Rafael Peñaloza Theoretical Computer Science, TU Dresden, Germany {baader,penaloza}@tcs.inf.tu-dresden.de

Source URL: ceur-ws.org

Unification in the Description Logic EL Franz Baader and Barbara Morawska? Theoretical Computer Science, TU Dresden, Germany {baader,morawska}@tcs.inf.tu-dresden.de Abstract. The Description Logic EL has recently drawn

Source URL: ceur-ws.org

Cambridge University Press4 - The Description Logic Handbook: Theory, Implementation, and Applications Edited by Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi and Peter F. Patel-Sch

Source URL: pdfs.semanticscholar.org

Description Logics for the Semantic Web Franz Baader, Ian Horrocks, Ulrike Sattler November 7, 2001 Abstract The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Descri

Source URL: www.cs.man.ac.uk

Submitted on January 6, 2014 to the Notre Dame Journal of Formal Logic Volume ??, Number ??, Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor Franz Baader and Nguyen

Source URL: ddll.inf.tu-dresden.de

Query and Predicate Emptiness in Ontology-Based Data Access Franz Baader TU Dresden, Germany Meghyn Bienvenu

Source URL: www.informatik.uni-bremen.de

A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics Franz Baader,1? Silvio Ghilardi,2 and Cesare Tinelli3 1

Source URL: users.mat.unimi.it

Philosophia Reformata181 INTELLECTUAL INFLUENCES UPON THE REFORMATIONAL PHILOSOPHY OF DOOYEWEERD DANIËL F.M. STRAUSS

Source URL: christelijkefilosofie.nl

• Herman Dooyeweerd
• Franz Xaver von Baader
• Reformational philosophy
• Sphere sovereignty
• Peter Koslowski
• Philosophia Reformata
• D. H. Th. Vollenhoven
• Baader
• Neo-Calvinism
• Philosophy
• Christianity
• Christian theology

Philosophia ReformataDooyeweerd, Spann, and the Philosophy of Totality by J. Glenn Friesen A. Introduction I have previously compared the philosophy of Herman Dooyeweerdwith the

Source URL: christelijkefilosofie.nl

• Christianity
• D. H. Th. Vollenhoven
• Philosophia Reformata
• Othmar Spann
• Franz Xaver von Baader
• Naturphilosophie
• Christian philosophy
• Institute for Christian Studies
• Philosophy
• Herman Dooyeweerd
• Calvinism