The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Franz Baader" ( http://dblp.L3S.de/Authors/Franz_Baader )

URL (Homepage):  http://lat.inf.tu-dresden.de/~baader/  Author page on DBLP  Author page in RDF  Community of Franz Baader in ASPL-2

Publication years (Num. hits)
1986-1991 (24) 1992-1994 (17) 1995-1996 (23) 1997-1998 (16) 1999-2000 (16) 2001-2002 (17) 2003-2004 (21) 2005-2006 (17) 2007 (17) 2008-2009 (23) 2010-2011 (17) 2012-2013 (20) 2014-2016 (19) 2017-2018 (24) 2019 (8)
Publication types (Num. hits)
article(65) book(2) incollection(10) inproceedings(187) phdthesis(1) proceedings(14)
Venues (Conferences, Journals, ...)
Description Logics(46) KI(15) FroCoS(14) KR(12) RTA(11) IJCAI(10) CADE(8) ECAI(6) IJCAR(6) J. Autom. Reasoning(5) JELIA(5) LPAR(5) Description Logic Handbook(4) ICCS(4) ICFCA(4) Inf. Comput.(4) More (+10 of total 90)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords

Results
Found 280 publication records. Showing 279 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Franz Baader Expressive cardinality constraints on ALCSCC concepts. Search on Bibsonomy SAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Franz Baader, Adrian Nuradiansyah Mixing Description Logics in Privacy-Preserving Ontology Publishing. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Franz Baader, Francesco Kriegel, Adrian Nuradiansyah Privacy-Preserving Ontology Publishing for EL Instance Stores. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader Counting Strategies for the Probabilistic Description Logic ALC^\mathsf ME Under the Principle of Maximum Entropy. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Franz Baader, Oliver Fernández Gil, Pavlos Marantidis Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract). Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Franz Baader, Filippo De Bortoli On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, Marco Wilhelm The Complexity of the Consistency Problem in the Probabilistic Description Logic ALC ^\mathsf ME. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jerónimo Castrillón, Matthias Lieber, Sascha Klüppelholz, Marcus Völp, Nils Asmussen, Uwe Aßmann, Franz Baader, Christel Baier, Gerhard P. Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Hermann Härtig, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Akash Kumar 0001, Wolfgang Lehner, Linda Leuschner, Siqi Ling, Steffen Märcker, Christian Menard, Johannes Mey, Wolfgang E. Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt, Sascha Wunderlich A Hardware/Software Stack for Heterogeneous Systems. Search on Bibsonomy IEEE Trans. Multi-Scale Computing Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza Repairing Description Logic Ontologies by Weakening Axioms. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis Matching in the Description Logic FL0 with respect to General TBoxes. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Walter Forkel Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering. Search on Bibsonomy WWW (Companion Volume) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Franz Baader, Brigitte Grau, Yue Ma HQA18 Workshop Chairs' Welcome & Organization. Search on Bibsonomy WWW (Companion Volume) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Franz Baader, Pavlos Marantidis, Maximilian Pensel The Data Complexity of Answering Instance Queries in FL0. Search on Bibsonomy WWW (Companion Volume) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Franz Baader, Oliver Fernandez Gil, Maximilian Pensel Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza Making Repairs in Description Logics More Gentle. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Franz Baader, Oliver Fernandez Gil, Maximilian Pensel Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Franz Baader, Adrian Nuradiansyah Towards Privacy-Preserving Ontology Publishing. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza Making Repairs in Description Logics More Gentle (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Rafael Peñaloza Decidability and Complexity of Fuzzy Description Logics. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franz Baader, Ian Horrocks, Carsten Lutz, Ulrike Sattler An Introduction to Description Logic. Search on Bibsonomy 2017   RDF
1Franz Baader, Oliver Fernandez Gil Decidability and complexity of threshold description logics induced by concept similarity measures. Search on Bibsonomy SAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franz Baader, Daniel Borchmann, Adrian Nuradiansyah The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information Hiding. Search on Bibsonomy JIST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL_0. Search on Bibsonomy LATA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franz Baader, Andreas Ecke Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Franz Baader, Daniel Borchmann, Adrian Nuradiansyah Preliminary Results on the Identity Problem in Description Logic Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Franz Baader A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost Metric Temporal Description Logics with Interval-Rigid Names. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan Using Ontologies to Query Probabilistic Numerical Data. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Marcel Lippmann Query Rewriting for DL-Lite with n-ary Concrete Domains. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franz Baader, Thanh Binh Nguyen 0003, Stefan Borgwardt, Barbara Morawska Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter Query and Predicate Emptiness in Ontology-Based Data Access. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Barbara Morawska Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Franz Baader, Andreas Ecke Reasoning with Prototypes in the Description Logic ALC ALC Using Weighted Tree Automata. Search on Bibsonomy LATA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Franz Baader, Oliver Fernandez Gil Extending the Description Logic with Acyclic TBoxes. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Franz Baader, Pavlos Marantidis, Alexander Okhotin Approximate Unification in the Description Logic FL_0. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alina Petrova, Yue Ma, George Tsatsaronis, Maria Kissa, Felix Distel, Franz Baader, Michael Schroeder 0001 Formalizing biomedical concepts from textual definitions. Search on Bibsonomy J. Biomedical Semantics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Rafael Peñaloza On the Decidability Status of Fuzzy ALC with General Concept Inclusions. Search on Bibsonomy J. Philosophical Logic The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Marcel Lippmann Temporal query entailment in the Description Logic SHQ. Search on Bibsonomy J. Web Semant. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Barbara Morawska Dismatching and Local Disunification in EL. Search on Bibsonomy RTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Barbara Morawska Dismatching and Local Disunification in EL (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Oliver Fernandez Gil, Franz Baader, Gerhard Brewka Adding Threshold Concepts to the Description Logic EL. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Franz Baader, Gerhard Brewka, Oliver Fernandez Gil Adding Threshold Concepts to the Description Logic EL. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Marcel Lippmann Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Franz Baader, Marcel Lippmann Runtime verification using the temporal description logic ALC-LTL revisited. Search on Bibsonomy J. Applied Logic The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Franz Baader, Barbara Morawska Matching with Respect to General Concept Inclusions in the Description Logic EL. Search on Bibsonomy KI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Franz Baader, Anthony G. Cohn, Georg Gottlob, Sheila A. McIlraith Invited Talks. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Franz Baader Ontology-Based Monitoring of Dynamic Systems. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Franz Baader, Barbara Morawska Matching with Respect to General Concept Inclusions in the Description Logic EL. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Franz Baader, Alexander Okhotin On Language Equations with One-sided Concatenation. Search on Bibsonomy Fundam. Inform. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Marcel Lippmann Temporalizing Ontology-Based Data Access. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1George Tsatsaronis, Alina Petrova, Maria Kissa, Yue Ma, Felix Distel, Franz Baader, Michael Schroeder 0001 Learning Formal Definitions for Biomedical Concepts. Search on Bibsonomy OWLED The full citation details ... 2013 DBLP  BibTeX  RDF
1Franz Baader, Oliver Fernandez Gil, Barbara Morawska Hybrid Unification in the Description Logic EL. Search on Bibsonomy UNIF@RTA/TLCA The full citation details ... 2013 DBLP  BibTeX  RDF
1Franz Baader, Oliver Fernandez Gil, Barbara Morawska Hybrid EL-Unification is NP-complete. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Franz Baader, Benjamin Zarrieß Verification of Golog Programs over Description Logic Actions. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Franz Baader, Oliver Fernandez Gil, Barbara Morawska Hybrid Unification in the Description Logic. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Franz Baader, Silvio Ghilardi, Carsten Lutz LTL over description logic axioms. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Franz Baader, Martin Knechtel, Rafael Peñaloza Context-dependent views to axioms and consequences of Semantic Web ontologies. Search on Bibsonomy J. Web Semant. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Franz Baader, Wolfgang Thomas Editorial. Search on Bibsonomy Informatik Spektrum The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Franz Baader, Alexander Okhotin Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Barbara Morawska Recent Advances in Unification for the EL Family. Search on Bibsonomy UNIF The full citation details ... 2012 DBLP  BibTeX  RDF
1Franz Baader, Julian Mendez, Barbara Morawska UEL: Unification Solver for the Description Logic $\mathcal{EL}$ - System Description. Search on Bibsonomy IJCAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Barbara Morawska SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies. Search on Bibsonomy IJCAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Barbara Morawska Computing Minimal EL-unifiers is Hard. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2012 DBLP  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Barbara Morawska Extending Unification in EL Towards General TBoxes. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska UEL: Unification Solver for EL. Search on Bibsonomy Description Logics The full citation details ... 2012 DBLP  BibTeX  RDF
1Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2012 DBLP  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Barbara Morawska A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. Search on Bibsonomy Description Logics The full citation details ... 2012 DBLP  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Barbara Morawska A Goal-Oriented Algorithm for Unification in $\mathcal{ELH}_{R+}$ w.r.t. Cycle-Restricted Ontologies. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter Fusions of Description Logics and Abstract Description Systems Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Franz Baader What's new in Description Logics. Search on Bibsonomy Informatik Spektrum The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Franz Baader, Silvio Ghilardi Unification in modal and description logics. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Franz Baader, Rafael Peñaloza Are fuzzy description logics with general concept inclusion axioms decidable? Search on Bibsonomy FUZZ-IEEE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Franz Baader, Thanh Binh Nguyen 0003, Stefan Borgwardt, Barbara Morawska Unification in the Description Logic EL without the Top Concept. Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Franz Baader, Rafael Peñaloza GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable. Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Franz Baader, Thanh Binh Nguyen 0003, Stefan Borgwardt, Barbara Morawska Unification in the Description Logic EL without the Top Concept. Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Franz Baader, Rafael Peñaloza On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Franz Baader, Carsten Lutz, Anni-Yasmin Turhan Small is Again Beautiful in Description Logics. Search on Bibsonomy KI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Franz Baader, Barbara Morawska Unification in the Description Logic EL Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2010 DBLP  BibTeX  RDF
1Franz Baader, Bernhard Beckert, Tobias Nipkow Deduktion: von der Theorie zur Anwendung. Search on Bibsonomy Informatik Spektrum The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Franz Baader, Rafael Peñaloza Automata-Based Axiom Pinpointing. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Franz Baader, Rafael Peñaloza Axiom Pinpointing in General Tableaux. Search on Bibsonomy J. Log. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Franz Baader, Marcel Lippmann, Hongkai Liu Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Franz Baader, Barbara Morawska SAT Encoding of Unification in EL. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Franz Baader, Hongkai Liu, Anees ul Mehdi Verifying Properties of Infinite Sequences of Description Logic Actions. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter Query and Predicate Emptiness in Description Logics. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Stefan Schulz 0001, Boontawee Suntisrivaraporn, Franz Baader, Martin Boeker SNOMED reaching its adolescence: Ontologists' and logicians' health check. Search on Bibsonomy I. J. Medical Informatics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Franz Baader, Ian Horrocks, Ulrike Sattler Description Logics. Search on Bibsonomy Handbook on Ontologies The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Franz Baader, Martin Knechtel, Rafael Peñaloza A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. Search on Bibsonomy International Semantic Web Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Franz Baader, Andreas Bauer 0002, Alwen Tiu Matching Trace Patterns with Regular Policies. Search on Bibsonomy LATA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Franz Baader, Andreas Bauer 0002, Peter Baumgartner 0001, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter A Novel Architecture for Situation Awareness Systems. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Franz Baader, Felix Distel Exploring Finite Models in the Description Logic . Search on Bibsonomy ICFCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Franz Baader, Baris Sertkaya Usability Issues in Description Logic Knowledge Base Completion. Search on Bibsonomy ICFCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Franz Baader, Barbara Morawska Unification in the Description Logic EL. Search on Bibsonomy RTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Franz Baader, Barbara Morawska Unification in the Description Logic EL. Search on Bibsonomy Description Logics The full citation details ... 2009 DBLP  BibTeX  RDF
1Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter Query Answering over DL ABoxes: How to Pick the Relevant Symbols. Search on Bibsonomy Description Logics The full citation details ... 2009 DBLP  BibTeX  RDF
1Franz Baader Description Logics. Search on Bibsonomy Reasoning Web The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher Putting ABox Updates into Action. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 279 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license