Vorlage:DisplayMitarbeiter (example name)

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Template for displaying personal pages. It is used in Template:Mitarbeiter and Template:Mitarbeiter/en.

Usage:

{{DisplayMitarbeiter
| L = "/en" (English) or empty (German)
| Page = title of the main page where the person's data is stored
| Akademischer Titel = title prefix
| Name = full name
| Ehemaliger = 0 (current employees) or 1 (former employees)
| Forschungsgruppe = list of German research group names (semicolon separated)
| Bild = Image
| Stellung = Position
| Raum = Room
| Info = text description
| Gebäude = Building code (usually APB)
| Sprechstunde Tag = Week day of office hours as a German abbreviation, e.g., Do
| Sprechstunde Beginn = office hour start, e.g., 11:00
| Sprechstunde Ende = office hour end, e.g., 12:00
| Telefon = phone number
| Fax = fax number
| Email = email
| Alternative URI = homepage
| Public Key = filename of public key
| DBLP = URL of DBLP publication page
| Google Scholar = URL of Google Scholar page
| Publikationen anzeigen = 1 (show publications) or 0 (don't show any publications)
| Abschlussarbeiten anzeigen = 1 (show supervisions) or 0 (don't show any supervisions)
| Sekretariat Mail = mail address of secretary (leave empty to hide)
}}
Example output

Dr. Vorlage:DisplayMitarbeiter (example name)

PositionTechnische Universität DresdenInternational Center for Computational Logic Computational Logic

text description

Newest Publications

View full publication list

Markus Krötzsch, Maximilian Marx, Sebastian Rudolph
The Power of the Terminating Chase
In Pablo Barceló, Marco Calautti, eds., Proceedings of the 22nd International Conference on Database Theory (ICDT 2019), volume 127 of LIPIcs, 3:1--3:17, 2019. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ
In Michael Thielscher, Francesca Toni, Frank Wolter, eds., Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 339-348, October 2018. AAAI Press
Details Download

Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Happy Ever After: Temporally Attributed Description Logics
In Magdalena Ortiz, Thomas Schneider, eds., Proceedings of the 31st International Workshop on Description Logics (DL 2018), volume 2211 of CEUR Workshop Proceedings, 2018. CEUR-WS.org
Details Download

Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog: Extended Abstract
In Magdalena Ortiz, Thomas Schneider, eds., Proceedings of the 31st International Workshop on Description Logics (DL 2018), volume 2211 of CEUR Workshop Proceedings, October 2018. CEUR-WS.org
Details Download

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Reasoning on Knowledge Graphs
In Jérôme Lang, eds., Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI'18), 5309--5313, July 2018. International Joint Conferences on Artificial Intelligence
Details Download

Tomáš Masopust, Markus Krötzsch
Deciding Universality of ptNFAs is PSpace-Complete
In A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiri Wiedermann, eds., Proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2018), volume 10706 of LNCS, 413-427, 2018. Springer
Details Download

Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog
In Didier Galmiche, Stephan Schulz, Roberto Sebastiani, eds., Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2018), volume 10900 of LNCS, 680--688, 2018. Springer
Details Download

Stanislav Malyshev, Markus Krötzsch, Larry González, Julius Gonsior, Adrian Bielefeldt
Getting the Most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph
In Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl, eds., Proceedings of the 17th International Semantic Web Conference (ISWC'18), volume 11137 of LNCS, 376-394, 2018. Springer
Details Download

Markus Krötzsch
Ontological Modelling in Wikidata
Invited keynote at the 9th Workshop on Ontology Design and Patterns (WOP'18), 2018
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Tractable Query Answering for Expressive Ontologies and Existential Rules: Extended Abstract
Proceedings of the 31st International Workshop on Description Logics (DL 2018), to appear
Details Download

View full publication list
Cfaed.jpg

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

Fops-logo.svg

CPEC
Center for Perspicuous Computing

DIAMOND-Logo.png

DIAMOND
Data Integration and Access by Merging Ontologies and Databases

HAEC Logo.png

HAEC
Highly Adaptive Energy-Efficient Computing (Collaborative Research Centre SFB 912)

HAEC Logo.png

HAEC B08
High-Capacity Knowledge Processing Pipeline (HAEC Project B08)

Semantic MediaWiki logo.png

Semantic MediaWiki
Popular open-source software for collaborative data management

VLog
A fast, highly scalable rule engine for existential rules and Datalog.

Wikidata-logo-en.svg

Wikidata
Wikipedia's free, collaborative knowledge base

Wikidata-sparql-logo.svg

Wikidata SPARQL Logs
Access logs from the Wikidata SPARQL Query Service