Publications

2010

• Unification in the Description Logic ELBaader, F. & Morawska, B., 2010, In: Logical Methods in Computer Science. 6, 3, 31 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description LogicsBaader, F., Lippmann, M. & Liu, H., 2010, p. 82-96, 15 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Verifying Properties of Infinite Sequences of Description Logic ActionsBaader, F., Liu, H. & ul Mehdi, A., 2010, p. 53-58, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Vermittlung fundamentaler Ideen der Informatik durch eine kollaborative Multitouch-AnwendungNabbi, N., Brauner, P. & Leonhardt, T., 2010, Interaktive Kulturen : Workshop-Band : Proceedings der Workshops der Mensch Computer 2010 - 10. Fachübergreifende Konferenz für Interaktive und Kooperative Medien, DeLFI 2010 - die 8. E-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V. und der Entertainment Interfaces 2010 ; Duisburg, 12. - 15. September 2010 / Ulrik Schroeder (Hrsg.). Berlin: Logos Verlag, Berlin, p. 27-28, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Vertical IntegrationSauter, T., Soucek, S. & Wollschlaeger, M., 2010, The Industrial Electronics Handbook. aktualisierte Neuauflage ed., Boca Raton, Vol. Industrial Communication SystemsResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Wahrnehmungsrealismus in der ComputergrafikFranke, I. S., 2010Research output: Contribution to conferences > Paper
• Wireless, Collaborative Virtual Sensors for Thermal ComfortPloennigs, J., Hensel, B. & Kabitzsch, K., 2010, Proceedings of the 2nd ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings. 6 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• XML in der Automation - Best PracticeWollschlaeger, M., Runde, S., Mühlhause, M., Lindemann, L. & Braune, A., 2010Research output: Contribution to conferences > Paper
• XML in der Automation - Systematisches SprachdesignWollschlaeger, M., Lindemann, L., Runde, S. & Mühlhause, M., 2010, p. 19-27, 9 p.Research output: Contribution to conferences > Paper

2009

• RDF syntax normalization using XML validationVrandečić, D., Dengler, F., Rudolph, S. & Erdmann, M., 1 Oct 2009, Proceedings of the Workshop Semantics for the Rest of Us at ISWC2009. Kagal, L., Lassila, O. & Finin, T. (eds.). CEUR-WSResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Refining Ontologies by Pattern-Based CompletionNikitina, N., Rudolph, S. & Blohm, S., 1 Oct 2009, Proceedings of the Workshop on Ontology Patterns (WOP 2009). Blomqvist, E., Sandkuhl, K., Scharffe, F. & Svatek, V. (eds.). CEUR-WS.org, Vol. 516Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Energieeffizientes routing in linearen sensornetzwerkenZimmerling, M., Oct 2009, In: Informatik-Spektrum. 32, 5, p. 410-415, 6 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Effective algorithm for parameter back calculation - Geotechnical applicationsMeier, J., Rudolph, S. & Schanz, T., 1 Aug 2009, In: Bautechnik. 86, S1, p. 86-97, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Conjunctive Query Entailment: Decidable in Spite of O, I, and QGlimm, B. & Rudolph, S., 1 Jul 2009, Proceedings of the DL Workshop 2009, Oxford, UK. Cuenca-Grau, B., Horrocks, I., Motik, B. & Sattler, U. (eds.). CEUR Workshop Proceedings, Vol. 477Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Symbolic model checking for channel-based component connectorsKlüppelholz, S. & Baier, C., 1 Jul 2009, In: Science of Computer Programming. 74, 9, p. 688-701, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• ICT-eMuCo. An Innovative Solution for Future Smart Phones.Lackorzynski, A., Gonzalez, M. E., Bilgic, A., Tudor, D., Matús, E. & Badr, I., Jul 2009, IEEE International Conference on Multimedia and Expo (ICME 2009). New York, NY, USAElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Tempus Fugit - Towards an Ontology Update LanguageLösch, U., Rudolph, S., Vrandečić, D. & Studer, R., 1 Jun 2009, 6th European Semantic Web Conference (ESWC 09). al., L. A. E. (ed.). Springer Verlag, Vol. 5554. p. 278-292, 15 p., (Lecture Notes on Computer Science)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Lexico-Logical Approach to Ontology EngineeringRudolph, S. & Völker, J., 1 May 2009, Conceptual Structures in Practice. Hitzler, P. & Schärfe, H. (eds.). Chapman Hall/CRC, p. 225-244, 20 p., (Studies in Informatics)Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Top-k Exploration of Query Candidates for Efficient Keyword Search on Graph-Shaped (RDF) DataTran, D. T., Wang, H., Rudolph, S. & Cimiano, P., 1 Mar 2009, Proceedings of the 25th International Conference on Data Engineering (ICDE'09)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Taming Subsystems: Capabilities as Universal Resource Access Control in L4Lackorzynski, A. & Warg, A., Mar 2009, Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, Eurosys affiliated workshop. ACM Press, p. 25-30, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's AxiomsBaader, F., Peñaloza, R. & Knechtel, M., 2009, The Semantic Web - ISWC 2009, 8th International Semantic Web Conference. Springer, Berlin [u. a.], p. 49-64Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Matter of Principles: Towards the Largest DLP PossibleKrötzsch, M. & Rudolph, S., 2009, International Workshop on Description LogicsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• AN-Encoding Compiler: Building Safety-Critical Systems with Commodity HardwareSchiffel, U., Süßkraut, M. & Fetzer, C., 2009, p. 283-296, 14 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Aspekte des Engineering eines netwerkzentrierten Plant Asset Management SystemsHahn, C., Bens, S., Theurich, S., Frenzel, R. & Wollschlaeger, M., 2009, p. 61-64, 4 p.Research output: Contribution to conferences > Paper
• Aspekte des Engineerings eines netzwerkzentrierten Plant Asset Management SystemsHahn, C., Bens, S., Theurich, S., Frenzel, R. & Wollschlaeger, M., 2009, AUTOMATION 2009 - Der Automatisierungskongress in Deutschland. 2067 ed., VDI Verlag, Düsseldorf, p. 61-64, 4 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution