http://lodlaundromat.org/.well-known/genid/da6cd0c738dd5f8b0920aea68c82d18d#2
has-date: http://www.aktors.org/ontology/date#2003
has-title: Proceedings of The first International Workshop on Semantic Web and Databases (SWDB'03)
type: Conference-Proceedings-Reference

http://www.aktors.org/ontology/date#2003
has-pretty-name: 2003
year-of: 2003
type: Calendar-Date

http://lodlaundromat.org/.well-known/genid/da6cd0c738dd5f8b0920aea68c82d18d#1
has-date: http://www.aktors.org/ontology/date#2003
has-title: Proceedings of The Second International Workshop on Evaluation of Ontology-based Tools (EON2003), located at ISWC03
type: Conference-Proceedings-Reference

person-81d4cc11
full-name: Marko Luther
type: Person

person-802137aa
full-name: Olaf Noppens
type: Person

person-13b99ea8
full-name: Holger Pfeifer
type: Person

person-36d35ea3
full-name: Timo Weithöner
type: Person

inproceedings-LiNo:03
has-author: person-077bcd98
has-author: person-802137aa
has-date: http://www.aktors.org/ontology/date#2003
has-title: OntoTrack: Fast Browsing and Easy Editing of Large Ontologies
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/da6cd0c738dd5f8b0920aea68c82d18d#1
type: Proceedings-Paper-Reference

person-ba8990c6
full-name: Günther Specht
type: Person

inproceedings-ZiDo03
has-author: person-2721d6fb
has-author: person-c6c5f4ce
has-date: http://www.aktors.org/ontology/date#2003
has-page-numbers: 391-406
has-title: A Framework for Modelling the Semantics of Expression Evaluation with Abstract State Machines
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/da6cd0c738dd5f8b0920aea68c82d18d#3
type: Proceedings-Paper-Reference

inproceedings-WeLiSp:03
has-author: person-077bcd98
has-author: person-36d35ea3
has-author: person-ba8990c6
has-date: http://www.aktors.org/ontology/date#2003
has-page-numbers: 329-348
has-title: Storing and Querying Ontologies in Logic Databases
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/da6cd0c738dd5f8b0920aea68c82d18d#2
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/da6cd0c738dd5f8b0920aea68c82d18d#3
edited-by: person-e64d7dde
has-date: http://www.aktors.org/ontology/date#2003
has-title: Abstract State Machines - Advances in Theory and Applications 10th International Workshop, ASM 2003
type: Conference-Proceedings-Reference

thesis-
degree-of-thesis: PhD
has-author: person-13b99ea8
has-author: person-81d4cc11
has-date: http://www.aktors.org/ontology/date#2003
has-title: Elaboration and Erasure in Type Theory
has-title: Formal Analysis of Fault-Tolerant Algorithms in the Time-Triggered Architecture
has-url: ftp://ftp.informatik.uni-ulm.de/pub/KI/papers/luther03-diss.pdf
has-url: http://www.informatik.uni-ulm.de/ki/Papers/pfeifer03-diss.pdf
type: Thesis-Reference

person-c6c5f4ce
full-name: Wolf Zimmermann
type: Person

person-077bcd98
full-name: Thorsten Liebig
type: Person

person-2721d6fb
full-name: Axel Dold
type: Person

person-e64d7dde
full-name: Elvinia Riccobene Egon Boerger Angelo Gargantini
type: Person

Publication export from The School of Electronics and Computer Science, University of Southampton
creator: Ian Millard
creator: ReSIST Project
description: This ontology contains information detailing publications held by The School of Electronics and Computer Science, University of Southampton
created: 2006-09-01
type: Ontology
imports: extension
imports: portal