| Author | Title | Year | Journal/Proceedings | Reftype | DOI/URL |
|---|---|---|---|---|---|
| Baader, F. & Sattler, U. | An Overview of Tableau Algorithms for Description Logics [BibTeX] |
2001 | Studia Logica Vol. 69, pp. 5-40 |
article | URL |
BibTeX:
@article{baader01overview,
author = {F. Baader and U. Sattler},
title = {An Overview of Tableau Algorithms for Description Logics},
journal = {Studia Logica},
year = {2001},
volume = {69},
pages = {5--40},
url = {http://citeseer.ist.psu.edu/baader00overview.html}
}
|
|||||
| Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P. & Sattler, U. | OWL 2: The next step for OWL | 2008 | Web Semantics: Science, Services and Agents on the World Wide Web | article | DOI URL |
| Abstract: Since achieving W3C recommendation status in 2004, the Web Ontology Language (OWL) has been successfully applied to many problems in computer science. Practical experience with OWL has been quite positive in general; however, it has also revealed room for improvement in several areas. We systematically analyze the identified shortcomings of OWL, such as expressivity issues, problems with its syntaxes, and deficiencies in the definition of OWL species. Furthermore, we present an overview of OWL 2&x2014;an extension to and revision of OWL that is currently being developed within the W3C OWL Working Group. Many aspects of OWL have been thoroughly reengineered in OWL 2, thus producing a robust platform for future development of the language. | |||||
BibTeX:
@article{citeulike:3487229,
author = {B. Grau and I. Horrocks and B. Motik and B. Parsia and P. Patel-Schneider and U. Sattler},
title = {OWL 2: The next step for OWL},
journal = {Web Semantics: Science, Services and Agents on the World Wide Web},
year = {2008},
url = {http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2008/CHMP+08.pdf},
doi = {http://dx.doi.org/10.1016/j.websem.2008.05.001}
}
|
|||||
| Gropengießer, F. & Sattler, K. | An extended cooperative transaction model for xml. [BibTeX] |
2008 | PIKM, pp. 41-48 | inproceedings | URL |
BibTeX:
@inproceedings{conf/cikm/GropengiesserS08,
author = {Francis Gropengießer and Kai-Uwe Sattler},
title = {An extended cooperative transaction model for xml.},
booktitle = {PIKM},
publisher = {ACM},
year = {2008},
pages = {41-48},
url = {http://dblp.uni-trier.de/db/conf/cikm/pikm2008.html#GropengiesserS08}
}
|
|||||
| Horridge, M., Parsia, B. & Sattler, U. | Laconic and Precise Justifications in OWL. [BibTeX] |
2008 | Vol. 5318International Semantic Web Conference, pp. 323-338 |
inproceedings | URL |
BibTeX:
@inproceedings{conf/semweb/HorridgePS08,
author = {Matthew Horridge and Bijan Parsia and Ulrike Sattler},
title = {Laconic and Precise Justifications in OWL.},
booktitle = {International Semantic Web Conference},
publisher = {Springer},
year = {2008},
volume = {5318},
pages = {323-338},
url = {http://dblp.uni-trier.de/db/conf/semweb/iswc2008.html#HorridgePS08}
}
|
|||||
| Horridge, M., Parsia, B. & Sattler, U. | Explanation of OWL Entailments in Protege 4. [BibTeX] |
2008 | Vol. 401International Semantic Web Conference (Posters & Demos) |
inproceedings | URL |
BibTeX:
@inproceedings{conf/semweb/HorridgePS08a,
author = {Matthew Horridge and Bijan Parsia and Ulrike Sattler},
title = {Explanation of OWL Entailments in Protege 4.},
booktitle = {International Semantic Web Conference (Posters & Demos)},
publisher = {CEUR-WS.org},
year = {2008},
volume = {401},
url = {http://dblp.uni-trier.de/db/conf/semweb/iswc2008p.html#HorridgePS08a}
}
|
|||||
| Hose, K., Klan, D., Marx, M. & Sattler, K. | When is it time to rethink the aggregate configuration of your OLAP server? [BibTeX] |
2008 | PVLDB Vol. 1(2), pp. 1492-1495 |
article | URL |
BibTeX:
@article{journals/pvldb/HoseKMS08,
author = {Katja Hose and Daniel Klan and Matthias Marx and Kai-Uwe Sattler},
title = {When is it time to rethink the aggregate configuration of your OLAP server?},
journal = {PVLDB},
year = {2008},
volume = {1},
number = {2},
pages = {1492-1495},
url = {http://dblp.uni-trier.de/db/journals/pvldb/pvldb1.html#HoseKMS08}
}
|
|||||
| Karnstedt, M., Sattler, K., Hauswirth, M. & Schmidt, R. | A DHT-based infrastructure for ad-hoc integration and querying of semantic data. [BibTeX] |
2008 | Vol. 299IDEAS, pp. 19-28 |
inproceedings | URL |
BibTeX:
@inproceedings{conf/ideas/KarnstedtSHS08,
author = {Marcel Karnstedt and Kai-Uwe Sattler and Manfred Hauswirth and Roman Schmidt},
title = {A DHT-based infrastructure for ad-hoc integration and querying of semantic data.},
booktitle = {IDEAS},
publisher = {ACM},
year = {2008},
volume = {299},
pages = {19-28},
url = {http://dblp.uni-trier.de/db/conf/ideas/ideas2008.html#KarnstedtSHS08}
}
|
|||||
| Karnstedt, M., Sattler, K., Haß, M., Hauswirth, M., Sapkota, B. & Schmidt, R. | Estimating the number of answers with guarantees for structured queries in p2p databases. [BibTeX] |
2008 | CIKM, pp. 1407-1408 | inproceedings | URL |
BibTeX:
@inproceedings{conf/cikm/KarnstedtSHHSS08,
author = {Marcel Karnstedt and Kai-Uwe Sattler and Michael Haß and Manfred Hauswirth and Brahmananda Sapkota and Roman Schmidt},
title = {Estimating the number of answers with guarantees for structured queries in p2p databases.},
booktitle = {CIKM},
publisher = {ACM},
year = {2008},
pages = {1407-1408},
url = {http://dblp.uni-trier.de/db/conf/cikm/cikm2008.html#KarnstedtSHHSS08}
}
|
|||||
| Karnstedt, M., Sattler, K., Haß, M., Hauswirth, M., Sapkota, B. & Schmidt, R. | Approximating query completeness by predicting the number of answers in DHT-based web applications. [BibTeX] |
2008 | WIDM, pp. 71-78 | inproceedings | URL |
BibTeX:
@inproceedings{conf/widm/KarnstedtSHHSS08,
author = {Marcel Karnstedt and Kai-Uwe Sattler and Michael Haß and Manfred Hauswirth and Brahmananda Sapkota and Roman Schmidt},
title = {Approximating query completeness by predicting the number of answers in DHT-based web applications.},
booktitle = {WIDM},
publisher = {ACM},
year = {2008},
pages = {71-78},
url = {http://dblp.uni-trier.de/db/conf/widm/widm2008.html#KarnstedtSHHSS08}
}
|
|||||
| Motik, B., Horrocks, I., Rosati, R. & Sattler, U. | Can OWL and Logic Programming Live Together Happily Ever After? | 2006 | ISWC 2006, LCNS 4273, pp. 14 | article | |
| Abstract: Logic programming (LP) is often seen as a way to overcome several shortcomings of the Web Ontology Language (OWL), such as the inability to model integrity constraints or perform closed-world querying. However, the open-world semantics of OWL seems to be fundamentally incompatible with the closed-world semantics of LP. This has sparked a heated debate in the SemanticWeb community, resulting in proposals for alternative ontology languages based entirely on logic programming. To help resolving this debate, we investigate the practical use cases which seem to be addressed by logic programming. In fact, many of these requirements have already been addressed outside the Semantic Web. By drawing inspiration from these existing formalisms, we present a novel logic of hybrid MKNF knowledge bases, which seamlessly integrates OWL with LP. We are thus capable of addressing the identified use cases without a radical change in the architecture of the Semantic Web. | |||||
BibTeX:
@article{Motik2006,
author = {Boris Motik and Ian Horrocks and Riccardo Rosati and Ulrike Sattler},
title = {Can OWL and Logic Programming Live Together Happily Ever After?},
journal = {ISWC 2006, LCNS 4273},
year = {2006},
pages = {14}
}
|
|||||
Created by JabRef on 01/12/2008.