@InProceedings{BaaderEtAl-OWLED08DC,
title = {Pushing the EL Envelope Further},
author = {Franz Baader and Sebastian Brandt and Carsten Lutz},
booktitle = {In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions},
year = {2008},
editor = {Kendall Clark and Peter F. Patel-Schneider},
}
Franz Baader and Felix Distel.
A Finite Basis for the Set of EL-Implications Holding in a Finite
Model.
In Raoul Medina and Sergei Obiedkov, editors, Proceedings of the 6th
International Conference on Formal Concept Analysis, (ICFCA 2008), volume
4933 of Lecture Notes in Artificial Intelligence, pages 46–61.
Springer, 2008.
Abstract Paper (PS) Paper (PDF) ©Springer-Verlag
@inproceedings{BaaderDistel08,
title = {A Finite Basis for the Set of {EL}-Implications Holding in a Finite Model},
author = {Franz Baader and Felix Distel},
booktitle = {Proceedings of the 6th International Conference on Formal Concept Analysis, (ICFCA 2008)},
year = {2008},
editor = {Raoul Medina and Sergei Obiedkov},
volume = {4933},
series = {Lecture Notes in Artificial Intelligence},
pages = {46--61},
publisher = {Springer},
springer = {yes},
abstract = {Formal Concept Analysis (FCA) can be used to analyze data given in the form of a formal context. In particular, FCA provides efficient algorithms for computing a minimal basis of the implications holding in the context. In this paper, we extend classical FCA by considering data that are represented by relational structures rather than formal contexts, and by replacing atomic attributes by complex formulae defined in some logic. After generalizing some of the FCA theory to this more general form of contexts, we instantiate the general framework with attributes defined in the Description Logic (DL) {EL}, and with relational structures over a signature of unary and binary predicates, i.e., models for {EL}. In this setting, an implication corresponds to a so-called general concept inclusion axiom (GCI) in {EL}, The main technical result of this paper is that, in {EL}, for any finite model there is a \emph{finite} set of implications (GCIs) holding in this model from which all implications (GCIs) holding in the model follow.}
}
Franz Baader, Silvio Ghilardi, and Carsten Lutz.
LTL over Description Logic Axioms.
In Proceedings of the 21st International Workshop on Description Lo gics (DL2008), volume 353 of CEUR-WS, 2008.
Abstract Paper (PDF)
@InProceedings{BaGhiLu-DL08,
author = {Franz Baader and Silvio Ghilardi and Carsten Lutz},
title = {LTL over Description Logic Axioms},
booktitle = {Proceedings of the 21st International Workshop on Description Lo\
\
gics ({DL2008})},
year = {2008},
series = {CEUR-WS},
volume = {353}
}
Franz Baader, Silvio Ghilardi, and Carsten Lutz.
LTL over Description Logic Axioms.
In Proceedings of the 11th International Conference on Principles of
Knowledge Representation and Reasoning (KR2008), 2008.
Abstract Paper (PDF)
@InProceedings{BaaGhiLu-KR08,
author = {Franz Baader and Silvio Ghilardi and Carsten Lutz},
title = {LTL over Description Logic Axioms},
booktitle = {Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning ({KR2008})},
year = {2008},
}
Franz Baader, Jan Hladik, and Rafael Peñaloza.
Automata Can Show PSPACE Results for Description Logics.
Information and Computation, Special Issue: First International Conference
on Language and Automata Theory and Applications (LATA'07),
206(9–10):1045–1056, 2008.
Abstract Paper (PDF)
@Article{BaaHlaPen-IC-08,
author = {Franz Baader and Jan Hladik and Rafael Pe{\~n}aloza},
title = {Automata Can Show {PSPACE} Results for Description Logics},
journal = {Information and Computation, Special Issue: First International Conference on Language and Automata Theory and Applications ({LATA'07})},
year = 2008,
volume = 206,
number = {9--10},
pages = {1045--1056},
}
Franz Baader, Novak Novakovic, and Boontawee Suntisrivaraporn.
A Proof-Theoretic Subsumption Reasoner for Hybrid
EL-TBoxes.
In Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008.
Abstract Paper (PDF)
@InProceedings{BaaNovSun-DL-08,
author = {Franz Baader and Novak Novakovic and Boontawee Suntisrivaraporn},
title = {A Proof-Theoretic Subsumption Reasoner for Hybrid $\mathcal{EL}$-{TBoxes}},
booktitle = {Proceedings of the 2008 International Workshop on Description Logics ({DL2008})},
year = {2008},
series = {CEUR-WS},
volume = {353}
}
Franz Baader and Rafael Peñaloza.
Automata-Based Axiom Pinpointing.
In Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors,
Proceedings of the 4th International Joint Conference on Automated Reasoning, (IJCAR 2008), volume 5195 of Lecture Notes in Artificial
Intelligence, pages 226–241. Springer, 2008.
Abstract Paper (PDF) ©Springer-Verlag
@inproceedings{BaPe-IJCAR08,
title = {Automata-Based Axiom Pinpointing},
author = {Franz Baader and Rafael Pe{\~n}aloza},
booktitle = {Proceedings of the 4th International Joint Conference on Automated Reasoning, (IJCAR 2008)},
year = {2008},
editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek},
volume = {5195},
series = {Lecture Notes in Artificial Intelligence},
pages = {226--241},
publisher = {Springer},
springer = {yes},
}
Franz Baader and Boontawee Suntisrivaraporn.
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic
EL^+.
In Proceedings of the 3rd Knowledge Representation in Medicine (KR-MED'08):
Representing and Sharing Knowledge Using SNOMED, volume 410 of
CEUR-WS, 2008.
Abstract Paper (PDF)
@InProceedings{BaaSun-KRMED-08,
author = {Franz Baader and Boontawee Suntisrivaraporn},
title = {Debugging {SNOMED CT} Using Axiom Pinpointing in the Description Logic $\mathcal{EL}^+$},
booktitle = {Proceedings of the 3rd Knowledge Representation in Medicine (KR-MED'08): Representing and Sharing Knowledge Using SNOMED},
year = {2008},
series = {CEUR-WS},
volume = {410}
}
Meghyn Bienvenu.
Complexity of Abduction in the EL Family of Lightweight Description
Logics.
In Gerhard Brewka and Jérôme Lang, editors, Proceedings of the
Eleventh International Conference on Principles of Knowledge Representation
and Reasoning (KR08), pages 220–230. AAAI Press, 2008.
Abstract Paper (PDF)
@inproceedings{bienvenu-kr08,
Author = {Meghyn Bienvenu},
Booktitle = {Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR08)},
Title = {Complexity of Abduction in the EL Family of Lightweight Description Logics},
Year = {2008},
Pages = {220-230},
editor = {Gerhard Brewka and J{\'e}r{\^o}me Lang},
Publisher = {AAAI Press},
}
Meghyn Bienvenu.
Prime Implicate Normal Form for ALC Concepts.
In Proceedings of the Twenty-Third Conference on Artificial Intelligence (AAAI-08), pages 412–417. AAAI Press, 2008.
Abstract Paper (PDF)
@inproceedings{BienvenuAAAI08,
Author = {Meghyn Bienvenu},
Booktitle = {Proceedings of the Twenty-Third Conference on Artificial Intelligence (AAAI-08)},
Title = {Prime Implicate Normal Form for {$\mathcal{ALC}$} Concepts},
Year = {2008},
Pages = {412-417},
Publisher = {AAAI Press}
}
Birte Glimm, Carsten Lutz, Ian Horrocks, and Ulrike Sattler.
Answering conjunctive queries in the SHIQ description
logic.
Journal of Artificial Intelligence Research, 31:150–197, 2008.
Abstract Paper (PDF)
@Article{GliHoLuSa-JAIR08,
author = {Birte Glimm and Carsten Lutz and Ian Horrocks and Ulrike Sattler},
title = {Answering conjunctive queries in the $\mathcal{SHIQ}$ description logic},
journal = {Journal of Artificial Intelligence Research},
year = {2008},
volume = {31},
pages = {150--197}
}
Christoph Haase and Carsten Lutz.
Complexity of Subsumption in the EL Family of Description Logics: Acyclic
and Cyclic TBoxes.
In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, and Nikos
Avouris, editors, Proceedings of the 18th European Conference on
Artificial Intelligence (ECAI08), volume 178 of Frontiers in
Artificial Intelligence and Applications, pages 25–29. IOS Press, 2008.
Abstract Paper (PDF)
@InProceedings{Haase-Lutz-ECAI08,
author = {Christoph Haase and Carsten Lutz},
title = {Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes},
booktitle = {Proceedings of the 18th European Conference on Artificial Intelligence ({ECAI08})},
editor = {Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
publisher = {IOS Press},
pages = {25--29},
year = {2008},
}
Matthias Heinrich, Antje Boehm-Peters, and Martin Knechtel.
MoDDo - a tailored documentation system for model-driven software
development.
In ICWI '08: Proceedings of the IADIS International Conference
WWW/Internet, pages 321–324, 2008.
Abstract Paper (PDF)
@INPROCEEDINGS{HeBK-ICWI-08,
author = {Matthias Heinrich and Antje Boehm-Peters and Martin Knechtel},
title = {MoDDo - a tailored documentation system for model-driven software
development},
booktitle = {ICWI '08: Proceedings of the IADIS International Conference WWW/Internet},
pages = {321-324},
year = {2008},
}
Miki Hermann and Baris Sertkaya.
On the Complexity of Computing Generators of Closed Sets.
In Raoul Medina and Sergei A. Obiedkov, editors, Proceedings of the 6th
International Conference on Formal Concept Analysis, (ICFCA
2008), volume 4933 of Lecture Notes in Computer Science, pages
158–168. Springer Verlag, 2008.
Abstract Paper (PDF) ©Springer-Verlag
@inproceedings{HeSe08,
author = "Miki Hermann and Bar\i{}\c{s} Sertkaya",
title = "On the Complexity of Computing Generators of Closed Sets",
booktitle = "Proceedings of the 6th International Conference on {F}ormal
{C}oncept {A}nalysis, {(ICFCA 2008)}",
editor = "Raoul Medina and Sergei A. Obiedkov",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
volume = 4933,
pages = "158-168",
year = 2008,
springer = "yes",
}
Martin Knechtel.
Access restriction inside ontologies.
In Rainer Ruggaber, editor, I-ESA'08: Proceedings of the 1st Internet of
Services Doctoral Symposium 2008 at International Conference on
Interoperability of Enterprise Systems and Applications, volume 374 of
CEUR Workshop Proceedings, ISSN 1613-0073, Berlin, Germany, 2008.
Paper (PDF)
@INPROCEEDINGS{Knechtel-IESA-08,
author = {Martin Knechtel},
title = {Access restriction inside ontologies},
booktitle = {I-ESA'08: Proceedings of the 1st Internet of Services Doctoral Symposium
2008 at International Conference on Interoperability of Enterprise
Systems and Applications},
year = {2008},
editor = {Rainer Ruggaber},
volume = {374},
series = {CEUR Workshop Proceedings, ISSN 1613-0073},
address = {Berlin, Germany},
}
Martin Knechtel.
Access rights and collaborative ontology integration for reuse across
security domains.
In Philippe Cudré-Mauroux, editor, Proceedings of the ESWC 2008 Ph.D.
Symposium, volume 358 of CEUR Workshop Proceedings, ISSN
1613-0073, pages 36–40, 2008.
Paper (PDF)
@INPROCEEDINGS{Knechtel-ESWC-08,
author = {Martin Knechtel},
title = {Access rights and collaborative ontology integration for reuse across
security domains},
booktitle = {Proceedings of the ESWC 2008 Ph.D. Symposium},
year = {2008},
editor = {Philippe Cudré-Mauroux},
volume = {358},
series = {CEUR Workshop Proceedings, ISSN 1613-0073},
pages = {36-40},
}
Martin Knechtel and Jan Hladik.
RBAC Authorization Decision with DL Reasoning.
In ICWI '08: Proceedings of the IADIS International Conference
WWW/Internet, pages 169–176, 2008.
Abstract Paper (PDF)
@INPROCEEDINGS{KnHl-ICWI-08,
author = {Knechtel, Martin and Hladik, Jan},
title = {{RBAC} Authorization Decision with {DL} Reasoning},
booktitle = {ICWI '08: Proceedings of the IADIS International Conference WWW/Internet},
pages = {169-176},
year = {2008},
}
Martin Knechtel, Jan Hladik, and Frithjof Dau.
Using OWL DL Reasoning to decide about authorization in RBAC.
In Catherine Dolbear, Alan Ruttenberg, and Ulrike Sattler, editors, OWLED
'08: Proceedings of the OWLED 2008 Workshop on OWL: Experiences and
Directions, volume 432 of CEUR Workshop Proceedings, 2008.
Paper (PDF)
@INPROCEEDINGS{KnHD-OWLED-08,
author = {Knechtel, Martin and Hladik, Jan and Dau, Frithjof},
title = {Using {OWL DL} Reasoning to decide about authorization in {RBAC}},
booktitle = {OWLED '08: Proceedings of the OWLED 2008 Workshop on OWL: Experiences
and Directions},
series = {CEUR Workshop Proceedings},
volume = {432},
year = {2008},
editor = {Catherine Dolbear and Alan Ruttenberg and Ulrike Sattler},
}
Martin Knechtel and Daniel Schuster.
Semantische Integration und Wiederverwendung von Produktontologien
für offene Marktplätze im Web.
In Proceedings of GeNeMe'08 Workshop, 2008.
In German.
Paper (PDF)
@INPROCEEDINGS{KnSc-GeNeMe-08,
author = {Martin Knechtel and Daniel Schuster},
title = {{S}emantische {I}ntegration und {W}iederverwendung von {P}roduktontologien
für offene {M}arktplätze im {W}eb},
booktitle = {Proceedings of GeNeMe'08 Workshop},
year = {2008},
note = {In German.},
}
Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolte r.
Logical Difference and Module Extraction with CEX and MEX.
In Proceedings of the 21st International Workshop on Description Lo gics (DL2008), volume 353 of CEUR-WS, 2008.
Abstract Paper (PDF)
@InProceedings{KoLuWaWo-DL08,
author = {Boris Konev and Carsten Lutz and Dirk Walther and Frank Wolte\
r},
title = {Logical Difference and Module Extraction with CEX and MEX},
booktitle = {Proceedings of the 21st International Workshop on Description Lo\
\
gics ({DL2008})},
year = {2008},
series = {CEUR-WS},
volume = {353}
}
Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter.
CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of
OWL.
In Kendall Clark and Peter F. Patel-Schneider, editors, In Proceedings of
the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008.
Abstract Paper (PDF)
@InProceedings{KonevEtAl-OWLED08DC,
title = {CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL},
author = {Boris Konev and Carsten Lutz and Dirk Walther and Frank Wolter},
booktitle = {In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions},
year = {2008},
editor = {Kendall Clark and Peter F. Patel-Schneider},
}
Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter.
Formal Properties of Modularisation.
In Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors,
Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR2008), number 5195 in LNCS, pages 179–193. Springer, 2008.
Abstract Paper (PDF)
@InProceedings{KoLuWaWo-ModBook08,
author = {Boris Konev and Carsten Lutz and Dirk Walther and Frank Wolter},
title = {Formal Properties of Modularisation},
booktitle = {Proceedings of the 4th International Joint Conference on Automated Reasoning ({IJCAR2008})},
year = {2008},
publisher = {Springer},
editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek},
pages = {179--193},
number = {5195},
series = {LNCS},
}
Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter.
Semantic Modularity and Module Extraction in Description Logics.
In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, and Nikos
Avouris, editors, Proceedings of the 18th European Conference on
Artificial Intelligence (ECAI08), volume 178 of Frontiers in
Artificial Intelligence and Applications, pages 55–59. IOS Press, 2008.
Abstract Paper (PDF)
@InProceedings{Konev-Lutz-Walther-Wolter-ECAI08,
author = {Boris Konev and Carsten Lutz and Dirk Walther and Frank Wolter},
title = {Semantic Modularity and Module Extraction in Description Logics},
booktitle = {Proceedings of the 18th European Conference on Artificial Intelligence ({ECAI08})},
editor = {Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
publisher = {IOS Press},
pages = {55--59},
year = {2008},
}
Hongkai Liu, Carsten Lutz, and Maja Milicic.
The Projection Problem for EL Actions.
In Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008.
Abstract Paper (PDF)
@InProceedings{LiLuMi-DL-08,
author = {Hongkai Liu and Carsten Lutz and Maja Milicic},
title = {The Projection Problem for $\mathcal{EL}$ Actions},
booktitle = {Proceedings of the 2008 International Workshop on Description Logics ({DL2008})},
year = {2008},
series = {CEUR-WS},
volume = {353}
}
Carsten Lutz.
The Complexity of Conjunctive Query Answering in Expressive Description
Logics.
In Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors,
Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR2008), number 5195 in LNAI, pages 179–193. Springer, 2008.
Abstract Paper (PDF)
@InProceedings{Lutz-IJCAR08,
author = {Carsten Lutz},
title = {The Complexity of Conjunctive Query Answering in Expressive Description Logics},
booktitle = {Proceedings of the 4th International Joint Conference on Automated Reasoning ({IJCAR2008})},
year = {2008},
publisher = {Springer},
editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek},
pages = {179--193},
number = {5195},
series = {LNAI},
}
Carsten Lutz.
Two Upper Bounds for Conjunctive Query Answering in SHIQ.
In Proceedings of the 21st International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008.
Abstract Paper (PDF)
@InProceedings{Lutz-DL08,
author = {Carsten Lutz},
title = {Two Upper Bounds for Conjunctive Query Answering in SHIQ},
booktitle = {Proceedings of the 21st International Workshop on Description Logics ({DL2008})},
year = {2008},
series = {CEUR-WS},
volume = {353}
}
Carsten Lutz, Frank Wolter, and Michael Zakharyaschev.
Temporal Description Logics: A Survey.
In Proceedings of the Fifteenth International Symposium on Temporal
Representation and Reasoning. IEEE Computer Society Press, 2008.
Abstract Paper (PDF)
@INPROCEEDINGS{LuWoZa-Time08,
author = {Carsten Lutz and Frank Wolter and Michael Zakharyaschev},
title = {Temporal Description Logics: A Survey},
year = {2008},
booktitle = {Proceedings of the Fifteenth International Symposium on
Temporal Representation and Reasoning},
publisher = {IEEE Computer Society Press},
}
Rafael Peñaloza.
Automata-based Pinpointing for DLs.
In Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008.
Abstract Paper (PDF)
@InProceedings{Pen-DL08,
author = {Rafael Pe{\~n}aloza},
title = {Automata-based Pinpointing for DLs},
booktitle = {Proceedings of the 2008 International Workshop on Description Logics ({DL2008})},
year = {2008},
volume = 353,
series = {CEUR-WS},
}
Stefan Schulz, Kornél Markó, and Boontawee Suntisrivaraporn.
Formal representation of complex SNOMED CT expressions.
BMC Medical Informatics and Decision Making, 8(1):S9, 2008.
Abstract Paper (PDF)
@article{SchMarSun-BMC-08,
author = {Stefan Schulz and Korn{\'e}l Mark{\'o} and Boontawee Suntisrivaraporn},
title = {Formal representation of complex {SNOMED CT} expressions},
journal = {BMC Medical Informatics and Decision Making},
volume = {8},
number = {1},
pages = {S9},
year = {2008}
}
Baris Sertkaya.
Explaining User Errors in Description Logic Knowledge Base Completion.
In Informal Proceedings of the 2008 International Workshop on Complexity,
Expressibility, and Decidability in Automated Reasoning (CEDAR'08),
2008.
Abstract Paper (PDF)
@inproceedings{Sert08b,
author = {Bar\i{}\c{s} Sertkaya},
title = {Explaining User Errors in Description Logic Knowledge Base
Completion},
booktitle = {Informal Proceedings of the 2008 International Workshop on
Complexity, Expressibility, and Decidability in Automated
Reasoning ({CEDAR'08})},
year = {2008},
}
Baris Sertkaya.
Explaining User Errors in Knowledge Base Completion.
In Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008.
Abstract Paper (PDF)
@inproceedings{Sert08,
author = {Bar\i{}\c{s} Sertkaya},
title = {Explaining User Errors in Knowledge Base Completion},
booktitle = {Proceedings of the 2008 International Workshop on Description
Logics ({DL2008})},
year = {2008},
series = {CEUR-WS},
volume = {353}
}
Boontawee Suntisrivaraporn.
Empirical evaluation of reasoning in lightweight DLs on life science
ontologies.
In Proceedings of the 2nd Mahasarakham International Workshop on AI (MIWAI'08), 2008.
Abstract Paper (PDF)
@InProceedings{Sun-MIWAI-08,
author = {Boontawee Suntisrivaraporn},
title = {Empirical evaluation of reasoning in lightweight {DLs} on life science ontologies},
booktitle = {Proceedings of the 2nd Mahasarakham International Workshop on AI (MIWAI'08)},
year = {2008},
}
Boontawee Suntisrivaraporn.
Module Extraction and Incremental Classification: A Pragmatic Approach for
EL^+ Ontologies.
In Sean Bechhofer, Manfred Hauswirth, Joerg Hoffmann, and Manolis Koubarakis,
editors, Proceedings of the 5th European Semantic Web Conference (ESWC'08), volume 5021 of Lecture Notes in Computer Science,
pages 230–244. Springer-Verlag, 2008.
Abstract Paper (PDF) ©Springer-Verlag
@InProceedings{Sun-ESWC-08,
author = {Boontawee Suntisrivaraporn},
title = {Module Extraction and Incremental Classification: A Pragmatic Approach for $\mathcal{EL}^+$ Ontologies},
booktitle = {Proceedings of the 5th European Semantic Web Conference ({ESWC'08})},
year = {2008},
editor = {Sean Bechhofer and Manfred Hauswirth and Joerg Hoffmann and Manolis Koubarakis},
series = {Lecture Notes in Computer Science},
volume = {5021},
pages = {230--244},
publisher = {Springer-Verlag},
springer = {yes}
}
Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, and Peter Haase.
A Modularization-based Approach to Finding All Justifications for OWL DL
Entailments.
In John Domingue and Chutiporn Anutariya, editors, Proceedings of the 3th
Asian Semantic Web Conference (ASWC'08), volume 5367 of Lecture
Notes in Computer Science, pages 1–15. Springer-Verlag, 2008.
Abstract Paper (PDF) ©Springer-Verlag
@InProceedings{SunEtAl-ASWC-08,
author = {Boontawee Suntisrivaraporn and Guilin Qi and Qiu Ji and Peter Haase},
title = {A Modularization-based Approach to Finding All Justifications for OWL DL Entailments},
booktitle = {Proceedings of the 3th Asian Semantic Web Conference ({ASWC'08})},
year = {2008},
editor = {John Domingue and Chutiporn Anutariya},
series = {Lecture Notes in Computer Science},
volume = {5367},
pages = {1--15},
publisher = {Springer-Verlag},
springer = {yes}
}
Back to the homepage of the Chair for Automata Theory.