✦ LIBER ✦

[Lecture Notes in Computer Science] Modular Ontologies Volume 5445 || Composing Modular Ontologies with Distributed Description Logics

✍ Scribed by Stuckenschmidt, Heiner; Parent, Christine; Spaccapietra, Stefano

Book ID: 119954333
Publisher: Springer Berlin Heidelberg
Year: 2009
Weight: 903 KB
Category: Article
ISBN: 3642019072
DOI: 10.1007/978-3-642-01907-4_15

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Adva

[Lecture Notes in Computer Science] Advances in Artificial Intelligence Volume 5032 || Aspects of Inconsistency Resolution in Modular Ontologies

✍ Bergler, Sabine 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 448 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 5514 || Mathematical Logic for Life Science Ontologies

✍ Ono, Hiroakira; Kanazawa, Makoto; de Queiroz, Ruy 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 198 KB

[Lecture Notes in Computer Science] Modu

[Lecture Notes in Computer Science] Modular Programming Languages Volume 1897 || Composable Message Semantics in Oberon

✍ Weck, Wolfgang; Gutknecht, Jürg 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 171 KB

Thecircleisclosed.The European Modula-2 Conference was originally launched with the goal of increasing the popularity of Modula-2, a programming language created by Niklaus Wirth and his team at ETH Zuric ¨ h as a successor of Pascal. For more than a decade, the conference has wandered through Europ

[Lecture Notes in Computer Science] Know

[Lecture Notes in Computer Science] Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web Volume 2473 || Sweetening Ontologies with DOLCE

✍ Gómez-Pérez, Asunción; Benjamins, V. Richard 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 476 KB

[Lecture Notes in Computer Science] Cell

[Lecture Notes in Computer Science] Cellular Automata Volume 5191 || Towards an Ontology for Crowds Description: A Proposal Based on Description Logic

✍ Umeo, Hiroshi; Morishita, Shin; Nishinari, Katsuhiro; Komatsuzaki, Toshihiko; Ba 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 235 KB

[Lecture Notes in Computer Science] Mech

[Lecture Notes in Computer Science] Mechanizing Mathematical Reasoning Volume 2605 || Description Logics as Ontology Languages for the Semantic Web

✍ Hutter, Dieter; Stephan, Werner 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 277 KB

By Presenting State-of-the-art Results In Logical Reasoning And Formal Methods In The Context Of Artificial Intelligence And Ai Applications, This Book Commemorates The 60th Birthday Of Jörg H. Siekmann. The 30 Revised Reviewed Papers Are Written By Former And Current Students And Colleagues Of Jörg