Published in: Dagstuhl Seminar Proceedings, Volume 5371, Principles and Practices of Semantic Web Reasoning (2006)
François Bry, François Fages, Massimo Marchiori, and Hans-Jürgen Ohlbach. 05371 Abstracts Collection – Principles and Practices of Semantic Web Reasoning. In Principles and Practices of Semantic Web Reasoning. Dagstuhl Seminar Proceedings, Volume 5371, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{bry_et_al:DagSemProc.05371.1, author = {Bry, Fran\c{c}ois and Fages, Fran\c{c}ois and Marchiori, Massimo and Ohlbach, Hans-J\"{u}rgen}, title = {{05371 Abstracts Collection – Principles and Practices of Semantic Web Reasoning}}, booktitle = {Principles and Practices of Semantic Web Reasoning}, pages = {1--14}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5371}, editor = {Fran\c{c}ois Bry and Fran\c{c}ois Fages and Massimo Marchiori and Hans-J\"{u}rgen Ohlbach}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05371.1}, URN = {urn:nbn:de:0030-drops-4813}, doi = {10.4230/DagSemProc.05371.1}, annote = {Keywords: Semantic Web, reasoning, rules, ontologies, Advanced Web Applications, rule-based reasoning} }
Published in: Dagstuhl Seminar Proceedings, Volume 5371, Principles and Practices of Semantic Web Reasoning (2006)
Uta Schwertel. 05371 Executive Summary – Principles and Practice of Semantic Web Reasoning (PPSWR). In Principles and Practices of Semantic Web Reasoning. Dagstuhl Seminar Proceedings, Volume 5371, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{schwertel:DagSemProc.05371.2, author = {Schwertel, Uta}, title = {{05371 Executive Summary – Principles and Practice of Semantic Web Reasoning (PPSWR)}}, booktitle = {Principles and Practices of Semantic Web Reasoning}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5371}, editor = {Fran\c{c}ois Bry and Fran\c{c}ois Fages and Massimo Marchiori and Hans-J\"{u}rgen Ohlbach}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05371.2}, URN = {urn:nbn:de:0030-drops-4772}, doi = {10.4230/DagSemProc.05371.2}, annote = {Keywords: Semantic Web, reasoning, rules, ontologies, Advanced Web Applications, rule-based reasoning} }
Published in: Dagstuhl Seminar Proceedings, Volume 5371, Principles and Practices of Semantic Web Reasoning (2006)
Gerd Wagner, Adrian Giurca, and Sergey Lukichev. A General Markup Framework for Integrity and Derivation Rules. In Principles and Practices of Semantic Web Reasoning. Dagstuhl Seminar Proceedings, Volume 5371, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{wagner_et_al:DagSemProc.05371.3, author = {Wagner, Gerd and Giurca, Adrian and Lukichev, Sergey}, title = {{A General Markup Framework for Integrity and Derivation Rules}}, booktitle = {Principles and Practices of Semantic Web Reasoning}, pages = {1--24}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5371}, editor = {Fran\c{c}ois Bry and Fran\c{c}ois Fages and Massimo Marchiori and Hans-J\"{u}rgen Ohlbach}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05371.3}, URN = {urn:nbn:de:0030-drops-4794}, doi = {10.4230/DagSemProc.05371.3}, annote = {Keywords: Rule markup languages, integrity rules, derivation rules, rule meta-models} }
Published in: Dagstuhl Seminar Proceedings, Volume 5371, Principles and Practices of Semantic Web Reasoning (2006)
Pascal Hitzler, York Sure, and Rudi Studer. Description Logic Programs: A Practical Choice For the Modelling of Ontologies. In Principles and Practices of Semantic Web Reasoning. Dagstuhl Seminar Proceedings, Volume 5371, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{hitzler_et_al:DagSemProc.05371.4, author = {Hitzler, Pascal and Sure, York and Studer, Rudi}, title = {{Description Logic Programs: A Practical Choice For the Modelling of Ontologies}}, booktitle = {Principles and Practices of Semantic Web Reasoning}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5371}, editor = {Fran\c{c}ois Bry and Fran\c{c}ois Fages and Massimo Marchiori and Hans-J\"{u}rgen Ohlbach}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05371.4}, URN = {urn:nbn:de:0030-drops-4783}, doi = {10.4230/DagSemProc.05371.4}, annote = {Keywords: Description Logic Programs} }
Published in: Dagstuhl Seminar Proceedings, Volume 5371, Principles and Practices of Semantic Web Reasoning (2006)
Pascal Hitzler and Denny Vrandecic. Faster OWL Using Split Programs. In Principles and Practices of Semantic Web Reasoning. Dagstuhl Seminar Proceedings, Volume 5371, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{hitzler_et_al:DagSemProc.05371.5, author = {Hitzler, Pascal and Vrandecic, Denny}, title = {{Faster OWL Using Split Programs}}, booktitle = {Principles and Practices of Semantic Web Reasoning}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5371}, editor = {Fran\c{c}ois Bry and Fran\c{c}ois Fages and Massimo Marchiori and Hans-J\"{u}rgen Ohlbach}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05371.5}, URN = {urn:nbn:de:0030-drops-4803}, doi = {10.4230/DagSemProc.05371.5}, annote = {Keywords: OWL DL, Approximate Reasoning, Logic Programming} }
Published in: Dagstuhl Seminar Proceedings, Volume 5151, Annotating, Extracting and Reasoning about Time and Events (2005)
Hans-Jürgen Ohlbach. Computational Treatment of Temporal Notions – The CTTN-System. In Annotating, Extracting and Reasoning about Time and Events. Dagstuhl Seminar Proceedings, Volume 5151, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{ohlbach:DagSemProc.05151.6, author = {Ohlbach, Hans-J\"{u}rgen}, title = {{Computational Treatment of Temporal Notions – The CTTN-System}}, booktitle = {Annotating, Extracting and Reasoning about Time and Events}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5151}, editor = {Graham Katz and James Pustejovsky and Frank Schilder}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05151.6}, URN = {urn:nbn:de:0030-drops-3115}, doi = {10.4230/DagSemProc.05151.6}, annote = {Keywords: Formalizing temporal notions} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Dov M. Gabbay and Hans Jürgen Ohlbach. Automated Practical Reasoning and Argumentation (Dagstuhl Seminar 9334). Dagstuhl Seminar Report 70, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1993)
@TechReport{gabbay_et_al:DagSemRep.70, author = {Gabbay, Dov M. and Ohlbach, Hans J\"{u}rgen}, title = {{Automated Practical Reasoning and Argumentation (Dagstuhl Seminar 9334)}}, pages = {1--28}, ISSN = {1619-0203}, year = {1993}, type = {Dagstuhl Seminar Report}, number = {70}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.70}, URN = {urn:nbn:de:0030-drops-149583}, doi = {10.4230/DagSemRep.70}, }
Feedback for Dagstuhl Publishing