Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dlog/dlog2004.bht:"
download as .bib file
@inproceedings{DBLP:conf/dlog/Artale04,
author = {Alessandro Artale},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Reasoning on Temporal Conceptual Schemas with Dynamic Constraints},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/01Artale.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Artale04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BaaderST04,
author = {Franz Baader and
Baris Sertkaya and
Anni{-}Yasmin Turhan},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Computing the Least Common Subsumer w.r.t. a Background Terminology},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/02Baader-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BaaderST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Berardi04,
author = {Daniela Berardi},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Description Logics for e-Service Composition},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/26Berardi.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Berardi04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Brandt04,
author = {Sebastian Brandt},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {On Subsumption and Instance Problem in {ELH} w.r.t. General TBoxes},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/03Brandt-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Brandt04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CadoliCG04,
author = {Marco Cadoli and
Diego Calvanese and
Giuseppe De Giacomo},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Towards Implementing Finite Model Reasoning in Description Logics},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/10Cadoli-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CadoliCG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CaliCCND04,
author = {Andrea Cal{\`{\i}} and
Diego Calvanese and
Simona Colucci and
Tommaso Di Noia and
Francesco M. Donini},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {A Description Logic Based Approach for Matching User Profiles},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/13Cali-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CaliCCND04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CalvaneseGLRV04,
author = {Diego Calvanese and
Giuseppe De Giacomo and
Maurizio Lenzerini and
Riccardo Rosati and
Guido Vetere},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {DL-Lite: Practical Reasoning for Rich Dls},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/11Calvanese-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CalvaneseGLRV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ColucciNSDM04,
author = {Simona Colucci and
Tommaso Di Noia and
Eugenio Di Sciascio and
Francesco M. Donini and
Marina Mongiello},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {A Uniform Tableaux-Based Approach to Concept Abduction and Contraction
in {ALN}},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/21Colucci-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ColucciNSDM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CornetA04,
author = {Ronald Cornet and
Ameen Abu{-}Hanna},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Using Non-Primitive Concept Definitions for Improving DL-based Knowledge
Bases},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/19Cornet-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CornetA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/DongilliFT04,
author = {Paolo Dongilli and
Enrico Franconi and
Sergio Tessaris},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Semantics Driven Support for Query Formulation},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/14Dongilli-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/DongilliFT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Gaines04,
author = {Brian R. Gaines},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Understanding Ontologies in Scholarly Discipline},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/25Gaines-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Gaines04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GrauP04,
author = {Bernardo Cuenca Grau and
Bijan Parsia},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {From {SHOQ(D)} Toward E-connections},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/15Grau-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GrauP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HaarslevLS04,
author = {Volker Haarslev and
Ying Lu and
Nematollaah Shiri},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {OntoXpl: Exploration of {OWL} Ontologies},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/07Haarslev-b-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HaarslevLS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HaarslevMSW04,
author = {Volker Haarslev and
Ralf M{\"{o}}ller and
Ragnhild Van Der Straeten and
Michael Wessel},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Extended Query Facilities for Racer and an Application to Software-Engineering
Problems},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/20Haarslev-a-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HaarslevMSW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HladikM04,
author = {Jan Hladik and
J{\"{o}}rg Model},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Tableau Systems for {SHIO} and {SHIQ}},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/22Hladik-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HladikM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HorrocksLTB04,
author = {Ian Horrocks and
Lei Li and
Daniele Turi and
Sean Bechhofer},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {The Instance Store: {DL} Reasoning with Large Numbers of Individuals},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/04Horrocks-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HorrocksLTB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Kaneiwa04,
author = {Ken Kaneiwa},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Description Logic and Order-sorted Logic},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/27Kaneiwa.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Kaneiwa04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KarabaevL04,
author = {Eldar Karabaev and
Carsten Lutz},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Mona as a {DL} Reasoner},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/06Karabaev-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KarabaevL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KnublauchMR04,
author = {Holger Knublauch and
Mark A. Musen and
Alan L. Rector},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Editing Description Logic Ontologies with the Prot{\'{e}}g{\'{e}}
{OWL} Plugin},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/08Knublauch-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KnublauchMR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KothariR04,
author = {Cartik R. Kothari and
David J. Russomanno},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Specifying the Disjoint Nature of Object Properties in {DL}},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/16Kothari-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KothariR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Kwong04,
author = {Francis Kwong},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Explaining Description Logic Reasoning},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/28Kwong.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Kwong04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LiebigPH04,
author = {Thorsten Liebig and
Holger Pfeifer and
Friedrich W. von Henke},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Reasoning Services for an {OWL} Authoring Tool: An Experience Report},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/09Liebig-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LiebigPH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Mancini04,
author = {Toni Mancini},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Finite Satisfiability of {UML} Class Diagrams by Constraint Programming},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/29Mancini.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Mancini04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/McGuinnessSGS04,
author = {Deborah L. McGuinness and
Pavel Shvaiko and
Fausto Giunchiglia and
Paulo Pinheiro da Silva},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Towards Explaining Semantic Matching},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/17McGuinness-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/McGuinnessSGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/PanH04,
author = {Jeff Z. Pan and
Ian Horrocks},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Extending {DL} Reasoning Support for the {OWL} Datatyping (or "Why
Datatype Groups?")},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/18Pan-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/PanH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Schulz04,
author = {Stefan Schulz},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {{DL} Requirements from Medicine and Biology},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/31Schulz.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Schulz04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SerafiniT04,
author = {Luciano Serafini and
Andrei Tamilin},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Local Tableaux for Reasoning in Distributed Description Logics},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/12Serafini-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/SerafiniT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SirinP04,
author = {Evren Sirin and
Bijan Parsia},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Pellet: An {OWL} {DL} Reasoner},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/30Sirin-Parsia.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/SirinP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TomanW04,
author = {David Toman and
Grant E. Weddell},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Attribute Inversion in Description Logic with Path Functional Dependencies},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/23Toman-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TomanW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TsarkovH04,
author = {Dmitry Tsarkov and
Ian Horrocks},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Efficient Reasoning with Range and Domain Constraints},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/05Tsarkow-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TsarkovH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TurhanK04,
author = {Anni{-}Yasmin Turhan and
Christian Kissig},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Sonic: System Description},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/24Turhan-final.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TurhanK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2004,
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104},
urn = {urn:nbn:de:0074-104-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-30 03:25 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
