@inproceedings{conf/dlog/KontchakovRWZ08, title = {Checking DL-Lite Modularity with QBF Solvers.}, author = {Roman Kontchakov and V. Ryzhikov and Frank Wolter and Michael Zakharyaschev}, booktitle = {Description Logics}, crossref = {conf/dlog/2008}, editor = {Franz Baader and Carsten Lutz and Boris Motik}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2008.html#KontchakovRWZ08}, volume = {353}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/210b164c487361828a36c06c06702170c/dblp}, description = {dblp}, date = {2008-06-26}, ee = {http://ceur-ws.org/Vol-353/KontchakovRyzhikovWolterZakharyaschev.pdf}, keywords = {dblp } } @inproceedings{conf/dlog/KonevLWW08, title = {Logical Difference and Module Extraction with CEX and MEX.}, author = {Boris Konev and Carsten Lutz and Dirk Walther and Frank Wolter}, booktitle = {Description Logics}, crossref = {conf/dlog/2008}, editor = {Franz Baader and Carsten Lutz and Boris Motik}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2008.html#KonevLWW08}, volume = {353}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/2c90287047dde53a06cfe80a9ccee5441/dblp}, description = {dblp}, date = {2008-06-26}, ee = {http://ceur-ws.org/Vol-353/KonevLutzWaltherWolter}, keywords = {dblp } } @inproceedings{conf/mmb/ZapotoczkyW08, title = {Increasing Performance of the 802.11e Protocol through Access Category Shifting.}, author = {Johannes Zapotoczky and Katinka Wolter}, booktitle = {MMB}, crossref = {conf/mmb/2008}, editor = {Falko Bause and Peter Buchholz}, pages = {61-76}, publisher = {VDE Verlag}, url = {http://dblp.uni-trier.de/db/conf/mmb/mmb2008.html#ZapotoczkyW08}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/2fafb2d99c18633ae22d6d83ca71ceaba/dblp}, description = {dblp}, isbn = {978-3-8007-3090-2}, date = {2008-06-25}, keywords = {dblp } } @inproceedings{conf/sacmat/WolterSM08, title = {Task-based entailment constraints for basic workflow patterns.}, author = {Christian Wolter and Andreas Schaad and Christoph Meinel}, booktitle = {SACMAT}, crossref = {conf/sacmat/2008}, editor = {Indrakshi Ray and Ninghui Li}, pages = {51-60}, publisher = {ACM}, url = {http://dblp.uni-trier.de/db/conf/sacmat/sacmat2008.html#WolterSM08}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/2d835b9e8ea4b38b614ae0591caa77fd4/dblp}, description = {dblp}, date = {2008-06-16}, ee = {http://doi.acm.org/10.1145/1377836.1377844}, isbn = {978-1-60558-129-3}, keywords = {dblp } } @inproceedings{conf/kcap/BorgidaG07, title = {Importing from Functional Knowledge Bases - A Preview.}, author = {Alexander Borgida and Fausto Giunchiglia}, booktitle = {WoMO}, crossref = {conf/kcap/2007womo}, editor = {Bernardo Cuenca Grau and Vasant Honavar and Anne Schlicht and Frank Wolter}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, url = {http://dblp.uni-trier.de/db/conf/kcap/womo2007.html#BorgidaG07}, volume = {315}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/263127efe496fe25dddd60494197acd84/dblp}, description = {dblp}, date = {2008-06-09}, ee = {http://ceur-ws.org/Vol-316/paper1.pdf}, keywords = {dblp } } @inproceedings{conf/kcap/SintekEGSH07, title = {Knowledge Representation for the Distributed, Social SemanticWeb - Named Graphs, Graph Roles and Views in NRL.}, author = {Michael Sintek and Ludger van Elst and Gunnar Aastrand Grimnes and Simon Scerri and Siegfried Handschuh}, booktitle = {WoMO}, crossref = {conf/kcap/2007womo}, editor = {Bernardo Cuenca Grau and Vasant Honavar and Anne Schlicht and Frank Wolter}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, url = {http://dblp.uni-trier.de/db/conf/kcap/womo2007.html#SintekEGSH07}, volume = {315}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/292200fa05960c556efb5f6ccc30d1690/dblp}, description = {dblp}, date = {2008-06-09}, ee = {http://ceur-ws.org/Vol-316/paper8.pdf}, keywords = {dblp } } @inproceedings{conf/kcap/DumontierV07, title = {Three-Layer OWL Ontology Design.}, author = {Michel Dumontier and Natalia Villanueva-Rosales}, booktitle = {WoMO}, crossref = {conf/kcap/2007womo}, editor = {Bernardo Cuenca Grau and Vasant Honavar and Anne Schlicht and Frank Wolter}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, url = {http://dblp.uni-trier.de/db/conf/kcap/womo2007.html#DumontierV07}, volume = {315}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/268c1f7fb3e1f11c8e8b9a099820a4543/dblp}, description = {dblp}, date = {2008-06-09}, ee = {http://ceur-ws.org/Vol-316/paper3.pdf}, keywords = {dblp } } @inproceedings{conf/kcap/SchiaffinoFKKMPSS07, title = {Computing OWL Ontology Decompositions Using Resolution.}, author = {Robert Schiaffino and Achille Fokoue and Aditya Kalyanpur and Aaron Kershenbaum and Li Ma and Chintan Patel and Edith Schonberg and Kavitha Srinivas}, booktitle = {WoMO}, crossref = {conf/kcap/2007womo}, editor = {Bernardo Cuenca Grau and Vasant Honavar and Anne Schlicht and Frank Wolter}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, url = {http://dblp.uni-trier.de/db/conf/kcap/womo2007.html#SchiaffinoFKKMPSS07}, volume = {315}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/2049f1744686112d23661f10785b592fe/dblp}, description = {dblp}, date = {2008-06-09}, ee = {http://ceur-ws.org/Vol-316/paper6.pdf}, keywords = {dblp } } @inproceedings{conf/kcap/EuzenatZF07, title = {Alignment-based Modules for Encapsulating Ontologies.}, author = {Jérôme Euzenat and Antoine Zimmermann and Frederico Luiz Gonçalves de Freitas}, booktitle = {WoMO}, crossref = {conf/kcap/2007womo}, editor = {Bernardo Cuenca Grau and Vasant Honavar and Anne Schlicht and Frank Wolter}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, url = {http://dblp.uni-trier.de/db/conf/kcap/womo2007.html#EuzenatZF07}, volume = {315}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/2dc18b818506e0119bea6426d9d4043f3/dblp}, description = {dblp}, date = {2008-06-09}, ee = {http://ceur-ws.org/Vol-316/paper4.pdf}, keywords = {dblp } } @inproceedings{conf/kcap/KutzM07, title = {Modules in Transition - Conservativity, Composition, and Colimits.}, author = {Oliver Kutz and Till Mossakowski}, booktitle = {WoMO}, crossref = {conf/kcap/2007womo}, editor = {Bernardo Cuenca Grau and Vasant Honavar and Anne Schlicht and Frank Wolter}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, url = {http://dblp.uni-trier.de/db/conf/kcap/womo2007.html#KutzM07}, volume = {315}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/29409660fd7ef410abb2f9363e85fdda4/dblp}, description = {dblp}, date = {2008-06-09}, ee = {http://ceur-ws.org/Vol-316/paper5.pdf}, keywords = {dblp } }