http://www.bibsonomy.org/author/Baader BibSonomy RSS Feed for /author/Baader http://www.bibsonomy.org/bibtex/2a21aed7efc646fc7cc4af6eb4502d41c/casi casi 2008-12-18T18:20:05+01:00 dl eventmodelf-tr handbook Baader, Franz & Calvanese, Diego & McGuinness, Deborah L. & Nardi, Daniele & Patel-Schneider, Peter F. (eds.) (2003). The Description Logic Handbook: Theory, Implementation, and Applications. In Baader, Franz & Calvanese, Diego & McGuinness, Deborah L. & Nardi, Daniele & Patel-Schneider, Peter F. (eds.), Description Logic Handbook Cambridge University Press. [BibSonomy: dl eventmodelf-tr handbook] ]]> dblp http://www.bibsonomy.org/bibtex/28954056fe26319cf9f7d0a6000944fd2/dblp dblp 2008-12-08T00:00:00+01:00 dblp Borgida, Alexander & Calvanese, Diego & Rodriguez-Muro, Mariano (2008). Explanation in DL-Lite.. In Baader, Franz & Lutz, Carsten & Motik, Boris (eds.), Description Logics CEUR-WS.org. [BibSonomy: dblp] URL ]]> dblp http://www.bibsonomy.org/bibtex/2dcbd8408c39d85c3058302c6b66375ce/marciomr marciomr 2008-11-17T21:56:03+01:00 ontology ontology_evolution revision_belief Qi, Guilin & Haase, Peter & Huang, Zhisheng & Pan, Jeff Z. (2008). A Kernel Revision Operator for Terminologies.. In Baader, Franz & Lutz, Carsten & Motik, Boris (eds.), Description Logics CEUR-WS.org. [BibSonomy: ontology ontology_evolution revision_belief] URL ]]> http://www.bibsonomy.org/bibtex/2fa9f0499f0df0f5c993aa8d61b413868/p.maghferat p.maghferat 2008-10-29T18:15:37+01:00 description logics wismasys0809' Nardi, Daniele & Brachman, Ronald J. (2003). An introduction to description logics. In Baader, F. & Calvanese, D. & McGuinness, D. & Nardi, D. & Patel-Schneider, P. (eds.), The Description Logic Handbook. Theory, Implementation and Applications (pp. 1-40). Cambridge University Press. [BibSonomy: description logics wismasys0809'] ]]> http://www.bibsonomy.org/bibtex/2fa9f0499f0df0f5c993aa8d61b413868/kirylenka kirylenka 2008-10-29T18:03:19+01:00 description logics wismasys0809 Nardi, Daniele & Brachman, Ronald J. (2003). An introduction to description logics. In Baader, F. & Calvanese, D. & McGuinness, D. & Nardi, D. & Patel-Schneider, P. (eds.), The Description Logic Handbook. Theory, Implementation and Applications (pp. 1-40). Cambridge University Press. [BibSonomy: description logics wismasys0809] ]]> http://www.bibsonomy.org/bibtex/2fa9f0499f0df0f5c993aa8d61b413868/flashback333 flashback333 2008-10-28T21:52:03+01:00 description_logics wismasys0809 Nardi, Daniele & Brachman, Ronald J. (2003). An introduction to description logics. In Baader, F. & Calvanese, D. & McGuinness, D. & Nardi, D. & Patel-Schneider, P. (eds.), The Description Logic Handbook. Theory, Implementation and Applications (pp. 1-40). Cambridge University Press. [BibSonomy: description_logics wismasys0809] ]]> http://www.bibsonomy.org/bibtex/2ceb633fa3f85589dcfe544966b233d71/deynard deynard 2008-10-23T12:02:51+02:00 DL Baader, F. & Sattler, U. (2001). An Overview of Tableau Algorithms for Description Logics. Studia Logica: 69. (pp. 5--40). [BibSonomy: DL] URL ]]> http://www.bibsonomy.org/bibtex/2672460224e559633d29eb12abec70b98/deynard deynard 2008-10-23T12:02:11+02:00 DL Baader, F. & Calvanese, D. & McGuinness, D.L. & Nardi, D. & Patel-Schneider, P.F. (2003). The Description Logics Handbook: Theory, Implementations, and Applications. Cambridge University Press. [BibSonomy: DL] ]]> dblp http://www.bibsonomy.org/bibtex/26c0cc1c7c4fc4d31dd3dc184c74d3af7/dblp dblp 2008-10-21T00:00:00+02:00 dblp Amaral, Fernando Náufel do & Martins, Carlos Bazilio (2008). Visualization of Description Logic Models.. In Baader, Franz & Lutz, Carsten & Motik, Boris (eds.), Description Logics CEUR-WS.org. [BibSonomy: dblp] URL ]]> dblp http://www.bibsonomy.org/bibtex/26410d3c9878b537e764f1a70165e3bf2/dblp dblp 2008-09-05T00:00:00+02:00 dblp Baader, Franz & Peñaloza, Rafael (2008). Automata-Based Axiom Pinpointing.. In Armando, Alessandro & Baumgartner, Peter & Dowek, Gilles (eds.), IJCAR (pp. 226-241). Springer. [BibSonomy: dblp] URL ]]> http://www.bibsonomy.org/bibtex/22157dde5257184c7fdba264426685d7a/msn msn 2008-08-18T14:24:32+02:00 info.refs.books mrefs research.cs.semantics research.kr.ontologies science.math.logic Baader, Franz (2003). The Description Logic Handbook : Theory, Implementation and Applications. Cambridge University Press. [BibSonomy: info.refs.books mrefs research.cs.semantics research.kr.ontologies science.math.logic] URL ]]> my huge bibtex http://www.bibsonomy.org/bibtex/246575e7715af8e08af3ab1e76057c78b/cabird cabird 2008-08-15T20:29:46+02:00 imported Baader, F. & Calvanese, D. & McGuinness, D. & Nardi, D. & Patel-Schneider, P. (eds.) (2003). The Description Logic Handbook. In Baader, F. & Calvanese, D. & McGuinness, D. & Nardi, D. & Patel-Schneider, P. (eds.), Cambridge. [BibSonomy: imported] ]]> http://www.bibsonomy.org/bibtex/2915934abb92646a0b520e5d464f0083f/pdeleenh pdeleenh 2008-07-07T16:45:32+02:00 description logics Baader, F. & McGuinness, D. & Nardi, D. & Patel-Schneider, P.F. (2003). The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press. [BibSonomy: description logics] ]]> http://www.bibsonomy.org/bibtex/28f13eade8edba0962b59a2ee9aee6629/flint63 flint63 2008-07-07T13:47:29+02:00 ai book conference springer v0805 Baader, Franz & Brewka, Gerhard & Eiter, Thomas (eds.) (2001). KI 2001: Advances in Artificial Intelligence : Joint German/Austrian Conference on AI Vienna, Austria, September 19--21, 2001, Proceedings. In Baader, Franz & Brewka, Gerhard & Eiter, Thomas (eds.), Berlin, Heidelberg: Springer. [BibSonomy: ai book conference springer v0805] URL ]]> dblp http://www.bibsonomy.org/bibtex/212c0a112dad652cb3b3d11e128e6f552/dblp dblp 2008-06-26T00:00:00+02:00 dblp Liu, Hongkai & Lutz, Carsten & Milicic, Maja (2008). The Projection Problem for EL Actions.. In Baader, Franz & Lutz, Carsten & Motik, Boris (eds.), Description Logics CEUR-WS.org. [BibSonomy: dblp] URL ]]> dblp http://www.bibsonomy.org/bibtex/2c3d0665153f8233a51e636b75fe67a1a/dblp dblp 2008-06-26T00:00:00+02:00 dblp Artale, Alessandro & Toman, David (2008). Decidable Reasoning over Timestamped Conceptual Models.. In Baader, Franz & Lutz, Carsten & Motik, Boris (eds.), Description Logics CEUR-WS.org. [BibSonomy: dblp] URL ]]> dblp http://www.bibsonomy.org/bibtex/2aa464116b39e74d41fb87385761f8b66/dblp dblp 2008-06-26T00:00:00+02:00 dblp Bienvenu, Meghyn (2008). Prime Implicate Normal Form for ALC Concepts.. In Baader, Franz & Lutz, Carsten & Motik, Boris (eds.), Description Logics CEUR-WS.org. [BibSonomy: dblp] URL ]]> dblp http://www.bibsonomy.org/bibtex/2291fa369b1de0830ac08a43b0b775c09/dblp dblp 2008-06-26T00:00:00+02:00 dblp Wu, Jiewen & Haarslev, Volker (2008). Planning of Axiom Absorption.. In Baader, Franz & Lutz, Carsten & Motik, Boris (eds.), Description Logics CEUR-WS.org. [BibSonomy: dblp] URL ]]> dblp http://www.bibsonomy.org/bibtex/29304fad2483ab690a6438feaf3e68dfe/dblp dblp 2008-06-26T00:00:00+02:00 dblp Mendler, Michael & Scheele, Stephan (2008). Towards Constructive DL for Abstraction and Refinement.. In Baader, Franz & Lutz, Carsten & Motik, Boris (eds.), Description Logics CEUR-WS.org. [BibSonomy: dblp] URL ]]> dblp http://www.bibsonomy.org/bibtex/281f46bc5375d09f81eaa043a57ee351e/dblp dblp 2008-06-26T00:00:00+02:00 dblp Radhouani, Saïd & Falquet, Gilles (2008). Description Logics-Based Modelling for Precise Information Retrieval.. In Baader, Franz & Lutz, Carsten & Motik, Boris (eds.), Description Logics CEUR-WS.org. [BibSonomy: dblp] URL ]]>