korrekt.org - Recent changes [en]

Template:Language

Markus Krötzsch — Thu, 09 Sep 2010 17:32:09 GMT

← Older revision		Revision as of 17:32, 9 September 2010
(One intermediate revision not shown)
Line 2:		Line 2:

	As this is a privately edited wiki with no effort to make pages maintainable for other editors, these settings are just hidden. The language connections are evaluated when building the sidebar of actions, so the information appears there.		As this is a privately edited wiki with no effort to make pages maintainable for other editors, these settings are just hidden. The language connections are evaluated when building the sidebar of actions, so the information appears there.
-	</noinclude><div style="display: none; read: none; ">[[language code::{{{1}}}]] [[master page::{{{2\|{{FULLPAGENAME}}}}}]]</div>	+
		+	</noinclude><div style="display: none; read: none; ">[[language code::{{{1}}}]][[master page::{{{2\|{{FULLPAGENAME}}}}}]]</div>

Research

Markus Krötzsch — Thu, 09 Sep 2010 17:25:27 GMT

← Older revision		Revision as of 17:25, 9 September 2010
(One intermediate revision not shown)
Line 1:		Line 1:
	My research topics are vaguelly centered around the fields of [[Semantic Web]] and [[Knowledge Representation and Reasoning]]. More information and related publications can be found on the individual topic pages:		My research topics are vaguelly centered around the fields of [[Semantic Web]] and [[Knowledge Representation and Reasoning]]. More information and related publications can be found on the individual topic pages:

-	<ask ~~format="ul">~~[[Category:Research topic]] [[language code::en]]~~</ask>~~	+	{{#ask:[[Category:Research topic]] [[language code::en]]
		+	\|format=ul
		+	}}

	== Publications ==		== Publications ==
Line 14:		Line 16:
	searchlabel=RSS feed of recent publications}}		searchlabel=RSS feed of recent publications}}

-	~~The [http://www.aifb.uni-karlsruhe.de/Publikationen/showPublikationen_english?id_db=2107 list maintained at AIFB] is still slightly more complete, if you care about older project deliverables as well.~~

	{{language\|en}}		{{language\|en}}

Foundations of Semantic Web Technologies

Markus Krötzsch — Thu, 09 Sep 2010 16:48:06 GMT

← Older revision	Revision as of 16:48, 9 September 2010
(One intermediate revision not shown)

Property:Bibtex

Markus Krötzsch — Thu, 09 Sep 2010 16:45:50 GMT

← Older revision		Revision as of 16:45, 9 September 2010
Line 1:		Line 1:
-	A Bibtex [[has type::~~Text~~\|entry]] for a [[publication]]s.	+	A Bibtex [[has type::Code\|entry]] for a [[publication]]s.

Template:Bibtex

Markus Krötzsch — Thu, 09 Sep 2010 16:45:19 GMT

← Older revision	Revision as of 16:45, 9 September 2010
(One intermediate revision not shown)

Property:Bibtex

Markus Krötzsch — Thu, 09 Sep 2010 16:44:07 GMT

← Older revision		Revision as of 16:44, 9 September 2010
Line 1:		Line 1:
-	A Bibtex [[has type::~~Code~~\|entry]] for a [[publication]]s.	+	A Bibtex [[has type::Text\|entry]] for a [[publication]]s.

Template:Publication format

Markus Krötzsch — Thu, 09 Sep 2010 16:34:56 GMT

restored old version, bibtex display not functional yet

← Older revision		Revision as of 16:34, 9 September 2010
Line 9:		Line 9:
	* 22: URL		* 22: URL
	* 23: Publication type		* 23: Publication type
-	* 24: Bibtex
	<br/><br/>		<br/><br/>

	</noinclude>{{nonempty\|{{{2\|}}}\|[[{{{2\|Author1}}}]]}}{{nonempty\|{{{3\|}}}\|, [[{{{3}}}]]}}{{nonempty\|{{{4\|}}}\|, [[{{{4}}}]]{{nonempty\|{{{5\|}}}\|, [[{{{5}}}]]}}{{nonempty\|{{{6\|}}}\|, [[{{{6}}}]]}}{{nonempty\|{{{7\|}}}\|, [[{{{7}}}]]}}{{nonempty\|{{{8\|}}}\|, [[{{{8}}}]]}}{{nonempty\|{{{9\|}}}\|, [[{{{9}}}]]}}}}{{empty\|{{{2\|}}}\|{{nonempty\|{{{12\|}}}\|[[{{{12}}}]]}}{{nonempty\|{{{13\|}}}\|, [[{{{13}}}]]}}{{nonempty\|{{{14\|}}}\|, [[{{{14}}}]]}}{{nonempty\|{{{15\|}}}\|, [[{{{15}}}]]}}{{nonempty\|{{{16\|}}}\|, [[{{{16}}}]]}}{{nonempty\|{{{17\|}}}\|, [[{{{17}}}]]}}{{nonempty\|{{{18\|}}}\|, [[{{{18}}}]]}}{{nonempty\|{{{19\|}}}\|, [[{{{19}}}]]}} (eds.)}}. '''[[{{{1}}}\|{{{10\|Title}}}]].''' {{nonempty\|{{{2\|}}}\|{{nonempty\|{{{11\|}}}\|In }} {{nonempty\|{{{12\|}}}\|[[{{{12\|}}}]]}}{{nonempty\|{{{13\|}}}\|, [[{{{13}}}]]}}{{nonempty\|{{{14\|}}}\|, [[{{{14}}}]]}}{{nonempty\|{{{15\|}}}\|, [[{{{15}}}]]}}{{nonempty\|{{{16\|}}}\|, [[{{{16}}}]]}}{{nonempty\|{{{17\|}}}\|, [[{{{17}}}]]}}{{nonempty\|{{{18\|}}}\|, [[{{{18}}}]]}}{{nonempty\|{{{19\|}}}\|, [[{{{19}}}]]}}{{nonempty\|{{{12\|}}}\|, eds.:}}}} <span style="{{#switch:{{{23}}}\|Journal paper=\|Book=\|Book chapter=\|Conference paper=color: #666; \|color: #AAA; }}">{{nonempty\|{{{11\|}}}\|''{{{11}}}.''}}</span> {{{20\|}}}{{nonempty\|{{{21\|}}}\|  {{{21\|}}}}}{{nonempty\|{{{20\|}}}{{{21\|}}}\|.}}		</noinclude>{{nonempty\|{{{2\|}}}\|[[{{{2\|Author1}}}]]}}{{nonempty\|{{{3\|}}}\|, [[{{{3}}}]]}}{{nonempty\|{{{4\|}}}\|, [[{{{4}}}]]{{nonempty\|{{{5\|}}}\|, [[{{{5}}}]]}}{{nonempty\|{{{6\|}}}\|, [[{{{6}}}]]}}{{nonempty\|{{{7\|}}}\|, [[{{{7}}}]]}}{{nonempty\|{{{8\|}}}\|, [[{{{8}}}]]}}{{nonempty\|{{{9\|}}}\|, [[{{{9}}}]]}}}}{{empty\|{{{2\|}}}\|{{nonempty\|{{{12\|}}}\|[[{{{12}}}]]}}{{nonempty\|{{{13\|}}}\|, [[{{{13}}}]]}}{{nonempty\|{{{14\|}}}\|, [[{{{14}}}]]}}{{nonempty\|{{{15\|}}}\|, [[{{{15}}}]]}}{{nonempty\|{{{16\|}}}\|, [[{{{16}}}]]}}{{nonempty\|{{{17\|}}}\|, [[{{{17}}}]]}}{{nonempty\|{{{18\|}}}\|, [[{{{18}}}]]}}{{nonempty\|{{{19\|}}}\|, [[{{{19}}}]]}} (eds.)}}. '''[[{{{1}}}\|{{{10\|Title}}}]].''' {{nonempty\|{{{2\|}}}\|{{nonempty\|{{{11\|}}}\|In }} {{nonempty\|{{{12\|}}}\|[[{{{12\|}}}]]}}{{nonempty\|{{{13\|}}}\|, [[{{{13}}}]]}}{{nonempty\|{{{14\|}}}\|, [[{{{14}}}]]}}{{nonempty\|{{{15\|}}}\|, [[{{{15}}}]]}}{{nonempty\|{{{16\|}}}\|, [[{{{16}}}]]}}{{nonempty\|{{{17\|}}}\|, [[{{{17}}}]]}}{{nonempty\|{{{18\|}}}\|, [[{{{18}}}]]}}{{nonempty\|{{{19\|}}}\|, [[{{{19}}}]]}}{{nonempty\|{{{12\|}}}\|, eds.:}}}} <span style="{{#switch:{{{23}}}\|Journal paper=\|Book=\|Book chapter=\|Conference paper=color: #666; \|color: #AAA; }}">{{nonempty\|{{{11\|}}}\|''{{{11}}}.''}}</span> {{{20\|}}}{{nonempty\|{{{21\|}}}\|  {{{21\|}}}}}{{nonempty\|{{{20\|}}}{{{21\|}}}\|.}}
	<span style="font-size: 90%; ">''([[{{{1}}}\|view details]]{{nonempty\|{{{22\|}}}\|, [{{{22}}} download]}})''<br /> </span>		<span style="font-size: 90%; ">''([[{{{1}}}\|view details]]{{nonempty\|{{{22\|}}}\|, [{{{22}}} download]}})''<br /> </span>

Template:Publication query

Markus Krötzsch — Thu, 09 Sep 2010 16:33:52 GMT

← Older revision		Revision as of 16:33, 9 September 2010
Line 5:		Line 5:
	?Title \|?Booktitle \|		?Title \|?Booktitle \|
	?Editor1 \|?Editor2 \|?Editor3 \|?Editor4 \|?Editor5 \|?Editor6 \|?Editor7 \|?Editor8 \|		?Editor1 \|?Editor2 \|?Editor3 \|?Editor4 \|?Editor5 \|?Editor6 \|?Editor7 \|?Editor8 \|
-	?Publisher \|?date \| ?URL \|?Publication type~~\| ?bibtex~~ \|	+	?Publisher \|?date \| ?URL \|?Publication type\|
	format=ul\|		format=ul\|
	template=Publication format\|		template=Publication format\|
Line 16:		Line 16:
	?Title \|?Booktitle \|		?Title \|?Booktitle \|
	?Editor1 \|?Editor2 \|?Editor3 \|?Editor4 \|?Editor5 \|?Editor6 \|?Editor7 \|?Editor8 \|		?Editor1 \|?Editor2 \|?Editor3 \|?Editor4 \|?Editor5 \|?Editor6 \|?Editor7 \|?Editor8 \|
-	?Publisher \|?date \| ?URL \|?Publication type~~\| ?bibtex~~ \|	+	?Publisher \|?date \| ?URL \|?Publication type\|
	format=ul\|		format=ul\|
	template=Publication format\|		template=Publication format\|

Template:Publication format

Markus Krötzsch — Thu, 09 Sep 2010 16:31:18 GMT

← Older revision		Revision as of 16:31, 9 September 2010
(5 intermediate revisions not shown)
Line 9:		Line 9:
	* 22: URL		* 22: URL
	* 23: Publication type		* 23: Publication type
		+	* 24: Bibtex
	<br/><br/>		<br/><br/>

	</noinclude>{{nonempty\|{{{2\|}}}\|[[{{{2\|Author1}}}]]}}{{nonempty\|{{{3\|}}}\|, [[{{{3}}}]]}}{{nonempty\|{{{4\|}}}\|, [[{{{4}}}]]{{nonempty\|{{{5\|}}}\|, [[{{{5}}}]]}}{{nonempty\|{{{6\|}}}\|, [[{{{6}}}]]}}{{nonempty\|{{{7\|}}}\|, [[{{{7}}}]]}}{{nonempty\|{{{8\|}}}\|, [[{{{8}}}]]}}{{nonempty\|{{{9\|}}}\|, [[{{{9}}}]]}}}}{{empty\|{{{2\|}}}\|{{nonempty\|{{{12\|}}}\|[[{{{12}}}]]}}{{nonempty\|{{{13\|}}}\|, [[{{{13}}}]]}}{{nonempty\|{{{14\|}}}\|, [[{{{14}}}]]}}{{nonempty\|{{{15\|}}}\|, [[{{{15}}}]]}}{{nonempty\|{{{16\|}}}\|, [[{{{16}}}]]}}{{nonempty\|{{{17\|}}}\|, [[{{{17}}}]]}}{{nonempty\|{{{18\|}}}\|, [[{{{18}}}]]}}{{nonempty\|{{{19\|}}}\|, [[{{{19}}}]]}} (eds.)}}. '''[[{{{1}}}\|{{{10\|Title}}}]].''' {{nonempty\|{{{2\|}}}\|{{nonempty\|{{{11\|}}}\|In }} {{nonempty\|{{{12\|}}}\|[[{{{12\|}}}]]}}{{nonempty\|{{{13\|}}}\|, [[{{{13}}}]]}}{{nonempty\|{{{14\|}}}\|, [[{{{14}}}]]}}{{nonempty\|{{{15\|}}}\|, [[{{{15}}}]]}}{{nonempty\|{{{16\|}}}\|, [[{{{16}}}]]}}{{nonempty\|{{{17\|}}}\|, [[{{{17}}}]]}}{{nonempty\|{{{18\|}}}\|, [[{{{18}}}]]}}{{nonempty\|{{{19\|}}}\|, [[{{{19}}}]]}}{{nonempty\|{{{12\|}}}\|, eds.:}}}} <span style="{{#switch:{{{23}}}\|Journal paper=\|Book=\|Book chapter=\|Conference paper=color: #666; \|color: #AAA; }}">{{nonempty\|{{{11\|}}}\|''{{{11}}}.''}}</span> {{{20\|}}}{{nonempty\|{{{21\|}}}\|  {{{21\|}}}}}{{nonempty\|{{{20\|}}}{{{21\|}}}\|.}}		</noinclude>{{nonempty\|{{{2\|}}}\|[[{{{2\|Author1}}}]]}}{{nonempty\|{{{3\|}}}\|, [[{{{3}}}]]}}{{nonempty\|{{{4\|}}}\|, [[{{{4}}}]]{{nonempty\|{{{5\|}}}\|, [[{{{5}}}]]}}{{nonempty\|{{{6\|}}}\|, [[{{{6}}}]]}}{{nonempty\|{{{7\|}}}\|, [[{{{7}}}]]}}{{nonempty\|{{{8\|}}}\|, [[{{{8}}}]]}}{{nonempty\|{{{9\|}}}\|, [[{{{9}}}]]}}}}{{empty\|{{{2\|}}}\|{{nonempty\|{{{12\|}}}\|[[{{{12}}}]]}}{{nonempty\|{{{13\|}}}\|, [[{{{13}}}]]}}{{nonempty\|{{{14\|}}}\|, [[{{{14}}}]]}}{{nonempty\|{{{15\|}}}\|, [[{{{15}}}]]}}{{nonempty\|{{{16\|}}}\|, [[{{{16}}}]]}}{{nonempty\|{{{17\|}}}\|, [[{{{17}}}]]}}{{nonempty\|{{{18\|}}}\|, [[{{{18}}}]]}}{{nonempty\|{{{19\|}}}\|, [[{{{19}}}]]}} (eds.)}}. '''[[{{{1}}}\|{{{10\|Title}}}]].''' {{nonempty\|{{{2\|}}}\|{{nonempty\|{{{11\|}}}\|In }} {{nonempty\|{{{12\|}}}\|[[{{{12\|}}}]]}}{{nonempty\|{{{13\|}}}\|, [[{{{13}}}]]}}{{nonempty\|{{{14\|}}}\|, [[{{{14}}}]]}}{{nonempty\|{{{15\|}}}\|, [[{{{15}}}]]}}{{nonempty\|{{{16\|}}}\|, [[{{{16}}}]]}}{{nonempty\|{{{17\|}}}\|, [[{{{17}}}]]}}{{nonempty\|{{{18\|}}}\|, [[{{{18}}}]]}}{{nonempty\|{{{19\|}}}\|, [[{{{19}}}]]}}{{nonempty\|{{{12\|}}}\|, eds.:}}}} <span style="{{#switch:{{{23}}}\|Journal paper=\|Book=\|Book chapter=\|Conference paper=color: #666; \|color: #AAA; }}">{{nonempty\|{{{11\|}}}\|''{{{11}}}.''}}</span> {{{20\|}}}{{nonempty\|{{{21\|}}}\|  {{{21\|}}}}}{{nonempty\|{{{20\|}}}{{{21\|}}}\|.}}
	<span style="font-size: 90%; ">''([[{{{1}}}\|view details]]{{nonempty\|{{{22\|}}}\|, [{{{22}}} download]}})''<br /> </span>		<span style="font-size: 90%; ">''([[{{{1}}}\|view details]]{{nonempty\|{{{22\|}}}\|, [{{{22}}} download]}})''<br /> </span>

Template:Publication query

Markus Krötzsch — Thu, 09 Sep 2010 16:19:22 GMT

← Older revision		Revision as of 16:19, 9 September 2010
Line 5:		Line 5:
	?Title \|?Booktitle \|		?Title \|?Booktitle \|
	?Editor1 \|?Editor2 \|?Editor3 \|?Editor4 \|?Editor5 \|?Editor6 \|?Editor7 \|?Editor8 \|		?Editor1 \|?Editor2 \|?Editor3 \|?Editor4 \|?Editor5 \|?Editor6 \|?Editor7 \|?Editor8 \|
-	?Publisher \|?date \| ?URL \|?Publication type\|	+	?Publisher \|?date \| ?URL \|?Publication type\| ?bibtex \|
	format=ul\|		format=ul\|
	template=Publication format\|		template=Publication format\|
Line 16:		Line 16:
	?Title \|?Booktitle \|		?Title \|?Booktitle \|
	?Editor1 \|?Editor2 \|?Editor3 \|?Editor4 \|?Editor5 \|?Editor6 \|?Editor7 \|?Editor8 \|		?Editor1 \|?Editor2 \|?Editor3 \|?Editor4 \|?Editor5 \|?Editor6 \|?Editor7 \|?Editor8 \|
-	?Publisher \|?date \| ?URL \|?Publication type\|	+	?Publisher \|?date \| ?URL \|?Publication type\| ?bibtex \|
	format=ul\|		format=ul\|
	template=Publication format\|		template=Publication format\|

Concept:Workshop and other publications

Markus Krötzsch — Thu, 09 Sep 2010 16:15:00 GMT

← Older revision		Revision as of 16:15, 9 September 2010
Line 2:		Line 2:
	[[publication type::!Master's thesis]]		[[publication type::!Master's thesis]]
	[[publication type::!PhD thesis]]		[[publication type::!PhD thesis]]
-	[[publication type::!Technical report]] [[publication type::!Talk]] \| Published writings by Markus Krötzsch that are not published in books, journals, or conferences. }}	+	[[publication type::!Technical report]] [[publication type::!Talk]]
		+	[[publication type::!Standardization document]] \| Published writings by Markus Krötzsch that are not published in books, journals, or conferences. }}

All Elephants are Bigger than All Mice

Markus Krötzsch — Thu, 09 Sep 2010 16:13:05 GMT

+bibtex

← Older revision		Revision as of 16:13, 9 September 2010
Line 1:		Line 1:
-	{{publication\|	+	{{publication
-	author1=Sebastian Rudolph\|	+	\|author1=Sebastian Rudolph
-	author2=Markus Krötzsch\|	+	\|author2=Markus Krötzsch
-	author3=Pascal Hitzler\|	+	\|author3=Pascal Hitzler
-	title=All Elephants are Bigger than All Mice\|	+	\|title=All Elephants are Bigger than All Mice
-	date=2008\|	+	\|date=2008
-	updated=March 25 2008\|	+	\|updated=March 25 2008
-	type=Workshop paper\|	+	\|type=Workshop paper
-	where=DL-08\|	+	\|where=DL-08
-	booktitle=Proceedings of the 21st International Workshop on Description Logics (DL-08)\|	+	\|booktitle=Proceedings of the 21st International Workshop on Description Logics (DL-08)
-	publisher=CEUR Workshop Proceedings\|	+	\|publisher=CEUR Workshop Proceedings
-	pdf=http://korrekt.org/papers/RudolphKroetzschHitzer_DL-Concept-Product_TR_2008.pdf\|	+	\|bibtex=
-	abstract=We introduce the ''concept product'' as a new expressive feature for description logics (DLs). While this construct allows us to express an arguably very common and natural type of statement, it can be simulated only by the very expressive DL SROIQ for which no tight worst-case complexity is known. However, we show that concept products can also be added to the DLs SHOIQ and SHOI, and to the tractable DL EL++ without increasing the worst-case complexities in any of those cases. We therefore argue that concept products provide practically relevant expressivity at little cost, making them a good candidate for future extensions of the DL-based ontology language OWL.	+	@inproceedings{RKH-elephants-08,
		+	author = {Sebastian Rudolph and Markus Kr\"{o}tzsch
		+	and Pascal Hitzler},
		+	title = {All Elephants are Bigger than All Mice},
		+	crossref = {dl08}
		+	}
		+	@proceedings{dl08,
		+	editor = {Franz Baader and Carsten Lutz and Boris Motik},
		+	title = {Proceedings of the 21st International Workshop on
		+	Description Logics (DL'08)},
		+	booktitle = {Proceedings of the 21st International Workshop on
		+	Description Logics (DL'08)},
		+	publisher = {CEUR-WS.org},
		+	series = {CEUR Workshop Proceedings},
		+	volume = {353},
		+	year = {2008}
		+	}
		+	\|pdf=http://korrekt.org/papers/RudolphKroetzschHitzer_DL-Concept-Product_TR_2008.pdf
		+	\|abstract=We introduce the ''concept product'' as a new expressive feature for description logics (DLs). While this construct allows us to express an arguably very common and natural type of statement, it can be simulated only by the very expressive DL SROIQ for which no tight worst-case complexity is known. However, we show that concept products can also be added to the DLs SHOIQ and SHOI, and to the tractable DL EL++ without increasing the worst-case complexities in any of those cases. We therefore argue that concept products provide practically relevant expressivity at little cost, making them a good candidate for future extensions of the DL-based ontology language OWL.
	}}		}}

Orel: Database-Driven Reasoning for OWL 2 Profiles

Markus Krötzsch — Thu, 09 Sep 2010 16:10:51 GMT

+editors

← Older revision		Revision as of 16:10, 9 September 2010
(One intermediate revision not shown)
Line 1:		Line 1:
-	{{publication\|	+	{{publication
-	author1=Markus Krötzsch\|	+	\|author1=Markus Krötzsch
-	author2=Anees ul Mehdi\|	+	\|author2=Anees Mehdi
-	author3=Sebastian Rudolph\|	+	\|author3=Sebastian Rudolph
-	title=Orel: Database-Driven Reasoning for OWL 2 Profiles\|	+	\|editor1=Volker Haarslev
-	date=2010\|	+	\|editor2=David Toman
-	updated=Mar 10 2010\|	+	\|editor3=Grant Weddell
-	type=Workshop paper\|	+	\|title=Orel: Database-Driven Reasoning for OWL 2 Profiles\|
-	where=DL 2010\|	+	date=2010
-	booktitle=Proceedings of the 23rd International Workshop on Description Logics (DL2010)\|	+	\|updated=Mar 10 2010
-	publisher=CEUR Workshop Proceedings\|	+	\|type=Workshop paper
-	pdf=http://korrekt.org/papers/Kroetzsch-ul-Mehdi-Rudoplh_Orel-OWL-reasoner_DL2010.pdf\|	+	\|where=DL 2010
-	abstract=We describe Orel, a reasoning system for an ontology language which subsumes both the EL and the RL profile of the recently standardized web ontology language OWL 2. Orel performs consequence-driven reasoning on the database level which is always sound. It is guaranteed to be complete if the ontology is contained in one of the two profiles. We present the underlying calculus, the core algorithm, and initial evaluation results.	+	\|booktitle=Proceedings of the 23rd International Workshop on Description Logics (DL2010)
		+	\|publisher=CEUR Workshop Proceedings
		+	\|pages=114–124
		+	\|bibtex=
		+	@inproceedings{KMR10:Orel,
		+	author = {Markus Kr\"{o}tzsch and Anees Mehdi
		+	and Sebastian Rudolph},
		+	title = {Orel: Database-Driven Reasoning for {OWL~2} Profiles},
		+	pages = {114--124},
		+	crossref = {dl10}
		+	}
		+	@proceedings{dl10,
		+	editor = {Volker Haarslev and David Toman and Grant Weddell},
		+	title = {Proceedings of the 23rd International Workshop on
		+	Description Logics (DL'10)},
		+	booktitle = {Proceedings of the 23rd International Workshop on
		+	Description Logics (DL'10)},
		+	publisher = {CEUR-WS.org},
		+	series = {CEUR Workshop Proceedings},
		+	volume = {573},
		+	year = {2010},
		+	}
		+	\|pdf=http://korrekt.org/papers/Kroetzsch-ul-Mehdi-Rudoplh_Orel-OWL-reasoner_DL2010.pdf
		+	\|abstract=We describe Orel, a reasoning system for an ontology language which subsumes both the EL and the RL profile of the recently standardized web ontology language OWL 2. Orel performs consequence-driven reasoning on the database level which is always sound. It is guaranteed to be complete if the ontology is contained in one of the two profiles. We present the underlying calculus, the core algorithm, and initial evaluation results.
	}}		}}

Leveraging Non-Lexical Knowledge for the Linked Open Data Web

Markus Krötzsch — Thu, 09 Sep 2010 16:00:44 GMT

+bibtex

← Older revision		Revision as of 16:00, 9 September 2010
Line 1:		Line 1:
-	{{publication\|	+	{{publication
-	author1=Denny Vrandecic\|	+	\|author1=Denny Vrandecic
-	author2=Markus Krötzsch\|	+	\|author2=Markus Krötzsch
-	author3=Sebastian Rudolph\|	+	\|author3=Sebastian Rudolph
-	author4=Uta Lösch\|	+	\|author4=Uta Lösch
-	title=Leveraging Non-Lexical Knowledge for the Linked Open Data Web\|	+	\|title=Leveraging Non-Lexical Knowledge for the Linked Open Data Web
-	where=Review of AF Transactions\|	+	\|where=Review of AF Transactions
-	booktitle=Review of AF Transactions 1/2010\|	+	\|booktitle=Review of AF Transactions 1/2010
-	publisher=Antoine Zimmermann\|	+	\|publisher=Antoine Zimmermann
-	pages=18–27\|	+	\|pages=18–27
-	date=2010\|	+	\|date=2010
-	updated=April 1 2010\|	+	\|updated=April 1 2010
-	type=Journal paper\|	+	\|type=Journal paper
-	pdf=http://korrekt.org/papers/Vrandecic_Kroetzsch_Rudolph_Loesch_Linked-Open-Numbers_RAFT2010.pdf\|	+	\|bibtex=
-	abstract=The Linked Data paradigm introduces the possibility to share machine-readable data across numerous Web resources, thus enabling applications that are traditionally only possible in corporate intranets to be realized on a Web scale. Due to the creation of an increasing number of publicly available Linked Open Data resources, the Web of Data has become a major application area for semantic technologies. This work introduces a recently published data set LON of non-lexical entities (NLEs) that can be used for numerous tasks of quantitative modeling on the Semantic Web. The size of the published data increases the magnitude of the public Linked Data significantly, yet we show how it can be seamlessly integrated into current application architectures for the Web of Data.	+	@article{VKRL:lon:raft10,
		+	author = {Denny Vrande\v{c}i\'{c} and Markus Kr\"{o}tzsch
		+	and Sebastian Rudolph and Uta L\"{o}sch},
		+	title = {Leveraging Non-Lexical Knowledge for the
		+	Linked Open Data Web},
		+	journal = {Review of AF Transactions},
		+	volume = {1},
		+	pages = {18--27},
		+	year = {2010}
		+	}
		+	\|pdf=http://korrekt.org/papers/Vrandecic_Kroetzsch_Rudolph_Loesch_Linked-Open-Numbers_RAFT2010.pdf
		+	\|abstract=The Linked Data paradigm introduces the possibility to share machine-readable data across numerous Web resources, thus enabling applications that are traditionally only possible in corporate intranets to be realized on a Web scale. Due to the creation of an increasing number of publicly available Linked Open Data resources, the Web of Data has become a major application area for semantic technologies. This work introduces a recently published data set LON of non-lexical entities (NLEs) that can be used for numerous tasks of quantitative modeling on the Semantic Web. The size of the published data increases the magnitude of the public Linked Data significantly, yet we show how it can be seamlessly integrated into current application architectures for the Web of Data.
	}}		}}

A Categorical View on Algebraic Lattices in Formal Concept Analysis

Markus Krötzsch — Thu, 09 Sep 2010 15:45:05 GMT

+bibtex

← Older revision		Revision as of 15:45, 9 September 2010
Line 1:		Line 1:
-	{{publication\|	+	{{publication
-	author2=Markus Krötzsch\|	+	\|author2=Markus Krötzsch
-	author3=Guo-Qiang Zhang\|	+	\|author3=Guo-Qiang Zhang
-	author1=Pascal Hitzler\|	+	\|author1=Pascal Hitzler
-	title=A Categorical View on Algebraic Lattices in Formal Concept Analysis\|	+	\|title=A Categorical View on Algebraic Lattices in Formal Concept Analysis
-	where=Fundamenta Informaticae\|	+	\|where=Fundamenta Informaticae
-	booktitle=Fundamenta Informaticae 74 (2–3)\|	+	\|booktitle=Fundamenta Informaticae 74 (2–3)
-	pages=301–328\|	+	\|pages=301–328
-	date=2006\|	+	\|date=2006
-	updated=July 1 2006\|	+	\|updated=July 1 2006
-	type=Journal paper\|	+	\|type=Journal paper
-	publisher=IOS Press\|	+	\|publisher=IOS Press
-	pdf=http://www.aifb.uni-karlsruhe.de/WBS/phi/pub/HKZ04.pdf\|	+	\|bibtex=
-	abstract=Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully benefit from this theory, we believe that it can be enriched with notions such as approximation by computation or representability. The latter are commonly studied in denotational semantics and domain theory and captured most prominently by the notion of algebraicity, e.g. of lattices. In this paper, we explore the notion of algebraicity in formal concept analysis from a category-theoretical perspective. To this end, we build on the the notion of approximable concept with a suitable category and show that the latter is equivalent to the category of algebraic lattices. At the same time, the paper provides a relatively comprehensive account of the representation theory of algebraic lattices in the framework of Stone duality, relating well-known structures such as Scott information systems with further formalisms from logic, topology, domains and lattice theory.	+	@article{HKZ:fcacats:fi06,
		+	author = {Pascal Hitzler and Markus Kr\"{o}tzsch
		+	and Guo-Qiang Zhang},
		+	title = {A Categorical View on Algebraic Lattices in
		+	Formal Concept Analysis},
		+	journal = {Fundamenta Informaticae},
		+	volume = {74},
		+	number = {2--3},
		+	pages = {301--328},
		+	year = {2006}
		+	}
		+	\|pdf=http://www.aifb.uni-karlsruhe.de/WBS/phi/pub/HKZ04.pdf
		+	\|abstract=Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully benefit from this theory, we believe that it can be enriched with notions such as approximation by computation or representability. The latter are commonly studied in denotational semantics and domain theory and captured most prominently by the notion of algebraicity, e.g. of lattices. In this paper, we explore the notion of algebraicity in formal concept analysis from a category-theoretical perspective. To this end, we build on the the notion of approximable concept with a suitable category and show that the latter is equivalent to the category of algebraic lattices. At the same time, the paper provides a relatively comprehensive account of the representation theory of algebraic lattices in the framework of Stone duality, relating well-known structures such as Scott information systems with further formalisms from logic, topology, domains and lattice theory.
	}}		}}

Generalized Ultrametric Spaces in Quantitative Domain Theory

Markus Krötzsch — Thu, 09 Sep 2010 15:40:48 GMT

+bibtex

← Older revision		Revision as of 15:40, 9 September 2010
Line 1:		Line 1:
-	{{publication\|	+	{{publication
-	author1=Markus Krötzsch\|	+	\|author1=Markus Krötzsch
-	title=Generalized Ultrametric Spaces in Quantitative Domain Theory\|	+	\|title=Generalized Ultrametric Spaces in Quantitative Domain Theory
-	where=Theoretical Computer Science\|	+	\|where=Theoretical Computer Science
-	booktitle=Theoretical Computer Science 368 (1–2)\|	+	\|booktitle=Theoretical Computer Science 368 (1–2)
-	pages=30–49\|	+	\|pages=30–49
-	publisher=Elsevier\|	+	\|publisher=Elsevier
-	date=2006\|	+	\|date=2006
-	updated=December 01 2006\|	+	\|updated=December 01 2006
-	type=Journal paper\|	+	\|type=Journal paper
-	pdf=http://korrekt.org/papers/Kroetzsch_TR-WV-04-02.pdf\|	+	\|bibtex=
-	abstract=Domains and metric spaces are two central tools for the study of denotational semantics in computer science, but are otherwise very different in many fundamental aspects. A construction that tries to establish links between both paradigms is the space of formal balls, a continuous poset which can be defined for every metric space and that reflects many of its properties. On the other hand, in order to obtain a broader framework for applications and possible connections to domain theory, generalized ultrametric spaces (gums) have been introduced. In this paper, we employ the space of formal balls as a tool for studying these more general metrics by using concepts and results from domain theory. It turns out that many properties of the metric can be characterized via its formal-ball space. Furthermore, we can state new results on the topology of gums as well as two new fixed point theorems, which may be compared to the Prieß-Crampe and Ribenboim theorem, and the Banach fixed point theorem, respectively. Deeper insights into the nature of formal-ball spaces are gained by applying methods from category theory. Our results suggest that, while being a useful tool for the study of gums, the space of formal balls does not provide the hoped-for general connection to domain theory.	+	@article{kroetzsch:gums:tcs06,
		+	author = {Markus Kr{\"o}tzsch},
		+	title = {Generalized Ultrametric Spaces in Quantitative
		+	Domain Theory},
		+	journal = {Theoretical Computer Science},
		+	volume = {368},
		+	number = {1--2},
		+	pages = {30--49},
		+	year = {2006}
		+	}
		+	\|pdf=http://korrekt.org/papers/Kroetzsch_TR-WV-04-02.pdf
		+	\|abstract=Domains and metric spaces are two central tools for the study of denotational semantics in computer science, but are otherwise very different in many fundamental aspects. A construction that tries to establish links between both paradigms is the space of formal balls, a continuous poset which can be defined for every metric space and that reflects many of its properties. On the other hand, in order to obtain a broader framework for applications and possible connections to domain theory, generalized ultrametric spaces (gums) have been introduced. In this paper, we employ the space of formal balls as a tool for studying these more general metrics by using concepts and results from domain theory. It turns out that many properties of the metric can be characterized via its formal-ball space. Furthermore, we can state new results on the topology of gums as well as two new fixed point theorems, which may be compared to the Prieß-Crampe and Ribenboim theorem, and the Banach fixed point theorem, respectively. Deeper insights into the nature of formal-ball spaces are gained by applying methods from category theory. Our results suggest that, while being a useful tool for the study of gums, the space of formal balls does not provide the hoped-for general connection to domain theory.
	}}		}}

The Two Cultures (JWS2008)

Markus Krötzsch — Thu, 09 Sep 2010 15:38:10 GMT

+bibtex

← Older revision		Revision as of 15:38, 9 September 2010
Line 1:		Line 1:
-	{{publication\|	+	{{publication
-	author1=Anupriya Ankolekar\|	+	\|author1=Anupriya Ankolekar
-	author2=Markus Krötzsch\|	+	\|author2=Markus Krötzsch
-	author3=Duc Thanh Tran\|	+	\|author3=Duc Thanh Tran
-	author4=Denny Vrandecic\|	+	\|author4=Denny Vrandecic
-	title=The Two Cultures: Mashing up Web 2.0 and the Semantic Web\|	+	\|title=The Two Cultures: Mashing up Web 2.0 and the Semantic Web
-	where=Journal of Web Semantics\|	+	\|where=Journal of Web Semantics
-	booktitle=Journal of Web Semantics 6/2008\|	+	\|booktitle=Journal of Web Semantics 6/2008
-	publisher=Elsevier\|	+	\|publisher=Elsevier
-	date=2008\|	+	\|date=2008
-	updated=January 10 2008\|	+	\|pages=70–75
-	type=Journal paper\|	+	\|updated=January 10 2008
-	abstract=A common perception is that there are two competing visions for the future evolution of the Web: the [[Semantic Web]] and Web 2.0. A closer look, though, reveals that the core technologies and concerns of these two approaches are complementary and that each field can and must draw from the other’s strengths. We believe that future Web applications will retain the Web 2.0 focus on community and usability, while drawing on Semantic Web infrastructure to facilitate mashup-like information sharing. However, there are several open issues that must be addressed before such applications can become commonplace. In this paper, we outline a semantic weblogs scenario that illustrates the potential for combining Web 2.0 and Semantic Web technologies, while highlighting the unresolved issues that impede its realization. Nevertheless, we believe that the scenario can be realized in the short-term. We point to recent progress made in resolving each of the issues as well as future research directions for each of the communities.	+	\|type=Journal paper
		+	\|bibtex=
		+	@article{AKTV:twocult:jws08,
		+	author = {Anupriya Ankolekar and Markus Kr\"{o}tzsch
		+	and Thanh Tran and Denny Vrande\v{c}i\'{c{{ecarb}}},
		+	title = {The Two Cultures: Mashing up {Web~2.0} and the
		+	{Semantic Web{{ecarb}}},
		+	journal = {Journal of Web Semantics},
		+	volume = {6},
		+	number = {1},
		+	pages = {70--75},
		+	year = {2008}
		+	}
		+	\|abstract=A common perception is that there are two competing visions for the future evolution of the Web: the [[Semantic Web]] and Web 2.0. A closer look, though, reveals that the core technologies and concerns of these two approaches are complementary and that each field can and must draw from the other’s strengths. We believe that future Web applications will retain the Web 2.0 focus on community and usability, while drawing on Semantic Web infrastructure to facilitate mashup-like information sharing. However, there are several open issues that must be addressed before such applications can become commonplace. In this paper, we outline a semantic weblogs scenario that illustrates the potential for combining Web 2.0 and Semantic Web technologies, while highlighting the unresolved issues that impede its realization. Nevertheless, we believe that the scenario can be realized in the short-term. We point to recent progress made in resolving each of the issues as well as future research directions for each of the communities.
	}}		}}

Semantic Wikipedia (JWS2007)

Markus Krötzsch — Thu, 09 Sep 2010 15:31:29 GMT

+bibtex

← Older revision		Revision as of 15:31, 9 September 2010
Line 1:		Line 1:
-	{{publication\|	+	{{publication
-	author1=Markus Krötzsch\|	+	\|author1=Markus Krötzsch
-	author2=Denny Vrandecic\|	+	\|author2=Denny Vrandecic
-	author3=Max Völkel\|	+	\|author3=Max Völkel
-	author4=Heiko Haller\|	+	\|author4=Heiko Haller
-	author5=Rudi Studer\|	+	\|author5=Rudi Studer
-	title=Semantic Wikipedia\|	+	\|title=Semantic Wikipedia
-	where=Journal of Web Semantics\|	+	\|where=Journal of Web Semantics
-	booktitle=Journal of Web Semantics 5/2007\|	+	\|booktitle=Journal of Web Semantics 5/2007
-	publisher=Elsevier\|	+	\|publisher=Elsevier
-	date=2007\|	+	\|date=2007
-	updated=November 30 2007\|	+	\|updated=November 30 2007
-	type=Journal paper\|	+	\|type=Journal paper
-	pages=251–261\|	+	\|pages=251–261
-	pdf=http://korrekt.org/papers/KroetzschVrandecicVoelkelHaller_SemanticMediaWiki_2007.pdf\|	+	\|bibtex=
-	abstract=Wikipedia is the world's largest collaboratively edited source of encyclopaedic knowledge. But in spite of its utility, its content is barely machine-interpretable and only weakly structured. With [[Semantic MediaWiki]] we provide an extension that enables wiki-users to semantically annotate wiki pages, based on which the wiki contents can be browsed, searched, and reused in novel ways. In this paper, we give an extended overview of Semantic MediaWiki and discuss experiences regarding performance and current applications.	+	@article{smw:jws07,
		+	author = {Markus Kr\"{o}tzsch and Denny Vrande\v{c}i\'{c}
		+	and Max V\"{o}lkel and Heiko Haller and Rudi Studer},
		+	title = {{brace}}{Semantic Wikipedia{{ecarb}}},
		+	journal = {Journal of Web Semantics},
		+	volume = {5},
		+	number = {4},
		+	pages = {251--261},
		+	year = {2007}
		+	}
		+	\|pdf=http://korrekt.org/papers/KroetzschVrandecicVoelkelHaller_SemanticMediaWiki_2007.pdf
		+	\|abstract=Wikipedia is the world's largest collaboratively edited source of encyclopaedic knowledge. But in spite of its utility, its content is barely machine-interpretable and only weakly structured. With [[Semantic MediaWiki]] we provide an extension that enables wiki-users to semantically annotate wiki pages, based on which the wiki contents can be browsed, searched, and reused in novel ways. In this paper, we give an extended overview of Semantic MediaWiki and discuss experiences regarding performance and current applications.
	}}		}}

Semantic Web – Grundlagen

Markus Krötzsch — Thu, 09 Sep 2010 15:29:26 GMT

+bibtex

← Older revision		Revision as of 15:29, 9 September 2010
Line 1:		Line 1:
-	{{publication\|	+	{{publication
-	author1=Pascal Hitzler\|	+	\|author1=Pascal Hitzler
-	author2=Markus Krötzsch\|	+	\|author2=Markus Krötzsch
-	author3=Sebastian Rudolph\|	+	\|author3=Sebastian Rudolph
-	author4=York Sure\|	+	\|author4=York Sure
-	title=Semantic Web – Grundlagen\|	+	\|title=Semantic Web – Grundlagen
-	publisher=Springer\|	+	\|publisher=Springer
-	where=Springer eXamen.press\|	+	\|where=Springer eXamen.press
-	date=2008\|	+	\|date=2008
-	updated=November 5 2007\|	+	\|updated=November 5 2007
-	type=Book\|	+	\|type=Book
-	abstract=[[Image:Semantic-Web-Grundlagen.jpg\|right\|200px]]	+	\|bibtex=
		+	@book{swg,
		+	author = {Pascal Hitzler and Markus Kr\"{o}tzsch
		+	and Sebastian Rudolph and York Sure},
		+	title = {Semantic Web -- Grundlagen},
		+	publisher = {Springer},
		+	series = {eXamen.press},
		+	year = {2008}
		+	}
		+	\|abstract=[[Image:Semantic-Web-Grundlagen.jpg\|right\|200px]]

	Das Buch Semantic Web – Grundlagen vermittelt als erstes deutschsprachiges Lehrbuch in verständlicher Weise die Grundlagen des Semantic Web. Es ermöglicht einen einfachen und zügigen Einstieg in Methoden und Technologien des Semantic Web und kann z.B. als solide Grundlage für die Vorbereitung und Durchführung von Vorlesungen genutzt werden. Die Autoren trennen dabei sauber zwischen einer intuitiven Hinführung zur Verwendung semantischer Technologien in der Praxis einerseits, und der Erklärung formaler und theoretischer Hintergründe andererseits. Nur für letzteres werden Grundkenntnisse in Logik vorausgesetzt, die sich bei Bedarf jedoch durch zusätzliche Lektüre und mit Hilfe eines entsprechenden Kapitels im Anhang aneignen lassen.		Das Buch Semantic Web – Grundlagen vermittelt als erstes deutschsprachiges Lehrbuch in verständlicher Weise die Grundlagen des Semantic Web. Es ermöglicht einen einfachen und zügigen Einstieg in Methoden und Technologien des Semantic Web und kann z.B. als solide Grundlage für die Vorbereitung und Durchführung von Vorlesungen genutzt werden. Die Autoren trennen dabei sauber zwischen einer intuitiven Hinführung zur Verwendung semantischer Technologien in der Praxis einerseits, und der Erklärung formaler und theoretischer Hintergründe andererseits. Nur für letzteres werden Grundkenntnisse in Logik vorausgesetzt, die sich bei Bedarf jedoch durch zusätzliche Lektüre und mit Hilfe eines entsprechenden Kapitels im Anhang aneignen lassen.

A Brief Introduction to FCA

Markus Krötzsch — Thu, 09 Sep 2010 15:28:07 GMT

+bi

← Older revision		Revision as of 15:28, 9 September 2010
Line 1:		Line 1:
-	{{publication\|	+	{{publication
-	author1=Markus Krötzsch\|	+	\|author1=Markus Krötzsch
-	author2=Bernhard Ganter\|	+	\|author2=Bernhard Ganter
-	title=A Brief Introduction to Formal Concept Analysis\|	+	\|title=A Brief Introduction to Formal Concept Analysis
-	booktitle=Conceptual Structures in Practice\|	+	\|booktitle=Conceptual Structures in Practice
-	where=Conceptual Structures in Practice\|	+	\|where=Conceptual Structures in Practice
-	pages=3–16\|	+	\|pages=3–16
-	chapter=1\|	+	\|chapter=1
-	editor1=Pascal Hitzler\|	+	\|editor1=Pascal Hitzler
-	editor2=Henrik Schärfe\|	+	\|editor2=Henrik Schärfe
-	publisher=Chapman & Hall\|	+	\|publisher=Chapman & Hall
-	date=2009\|	+	\|date=2009
-	updated=May 20 2009\|	+	\|updated=May 20 2009
-	type=Book chapter\|	+	\|type=Book chapter
-	abstract=This introductory chapter to ''Conceptual Structures in Practice'' gives a quick overview of formal concept analysis (FCA) to provide necessary prerequisites for understanding the applied chapters later in the book. Besides essential notions like ''formal context'', ''formal concept'', and ''concept lattice'', the chapter also specifically focusses on the aspect of (logic-based) knowledge representation in FCA, leading to the logic of attributes and to the important method of ''attribute exploration'' that is also applied in later chapters.	+	\|bibtex=
		+	@incollection{KG:csip-intro,
		+	author = {Markus Kr\"{o}tzsch and Bernhard Ganter},
		+	title = {A Brief Introduction to Formal Concept Analysis},
		+	chapter = {1},
		+	editor = {Pascal Hitzler and Henrik Sch\"{a}rfe},
		+	booktitle = {Conceptual Structures in Practice},
		+	publisher = {Chapman \& Hall/CRC},
		+	year = {2009}
		+	}
		+	\|abstract=This introductory chapter to ''Conceptual Structures in Practice'' gives a quick overview of formal concept analysis (FCA) to provide necessary prerequisites for understanding the applied chapters later in the book. Besides essential notions like ''formal context'', ''formal concept'', and ''concept lattice'', the chapter also specifically focusses on the aspect of (logic-based) knowledge representation in FCA, leading to the logic of attributes and to the important method of ''attribute exploration'' that is also applied in later chapters.
	}}		}}

Foundations of Semantic Web Technologies

Markus Krötzsch — Thu, 09 Sep 2010 15:26:47 GMT

+bibtex

← Older revision		Revision as of 15:26, 9 September 2010
Line 1:		Line 1:
-	{{publication\|	+	{{publication
-	author1=Pascal Hitzler\|	+	\|author1=Pascal Hitzler
-	author2=Markus Krötzsch\|	+	\|author2=Markus Krötzsch
-	author3=Sebastian Rudolph\|	+	\|author3=Sebastian Rudolph
-	title=Foundations of Semantic Web Technologies\|	+	\|title=Foundations of Semantic Web Technologies
-	publisher=CRC Press\|	+	\|publisher=CRC Press
-	where=CRC Press\|	+	\|where=CRC Press
-	date=2009\|	+	\|date=2009
-	updated=Jun 13 2009\|	+	\|updated=Jun 13 2009
-	type=Book\|	+	\|type=Book
-	abstract=[[Image:FOST.jpg\|right\|216px]]	+	\|bibtex=
		+	@book{fost,
		+	title = {Foundations of Semantic Web Technologies},
		+	author = {Pascal Hitzler and Markus Kr\"{o}tzsch
		+	and Sebastian Rudolph},
		+	publisher = {Chapman \& Hall/CRC},
		+	year = {2009}
		+	}
		+	\|abstract=[[Image:FOST.jpg\|right\|216px]]

	Semantic web is a maturing field of technology that continues to be the emphasis of much focused research. This foundational text introduces the standardized knowledge representation languages for modeling ontologies operating at the core of the semantic web. To support the presentation of each language, the authors explain syntax and underlying intuitions through examples, with separate treatment of the underlying formal semantics. They cover RDF schema, Web Ontology Language (OWL), rules, and query languages, such as SPARQL. The book also presents recent developments concerning the OWL 2 revision and the forthcoming Rule Interchange Format (RIF).		Semantic web is a maturing field of technology that continues to be the emphasis of much focused research. This foundational text introduces the standardized knowledge representation languages for modeling ontologies operating at the core of the semantic web. To support the presentation of each language, the authors explain syntax and underlying intuitions through examples, with separate treatment of the underlying formal semantics. They cover RDF schema, Web Ontology Language (OWL), rules, and query languages, such as SPARQL. The book also presents recent developments concerning the OWL 2 revision and the forthcoming Rule Interchange Format (RIF).

OWL 2 Web Ontology Language Conformance

Markus Krötzsch — Thu, 09 Sep 2010 15:25:01 GMT

+bibtex

← Older revision		Revision as of 15:25, 9 September 2010
Line 1:		Line 1:
-	{{edited publication\|	+	{{edited publication
-	editor1=Michael Smith\|	+	\|editor1=Michael Smith
-	editor2=Ian Horrocks\|	+	\|editor2=Ian Horrocks
-	editor3=Markus Krötzsch\|	+	\|editor3=Markus Krötzsch
-	editor4=Birte Glimm\|	+	\|editor4=Birte Glimm
-	title=OWL 2 Web Ontology Language Conformance\|	+	\|title=OWL 2 Web Ontology Language Conformance
-	date=27 October 2009\|	+	\|date=27 October 2009
-	updated=Oct 27 2009\|	+	\|updated=Oct 27 2009
-	type=Standardization document\|	+	\|type=Standardization document
-	where=W3C Recommendation 27 October 2009\|	+	\|where=W3C Recommendation 27 October 2009
-	publisher=W3C Recommendation\|	+	\|publisher=W3C Recommendation
-	~~link~~=http://www.w3.org/TR/owl2-conformance/\|	+	\|bibtex=
-	abstract=The OWL 2 Web Ontology Language, informally OWL 2, is an ontology language for the Semantic Web with formally defined meaning. OWL 2 ontologies provide classes, properties, individuals, and data values and are stored as Semantic Web documents. OWL 2 ontologies can be used along with information written in RDF, and OWL 2 ontologies themselves are primarily exchanged as RDF documents. The OWL 2 Document Overview describes the overall state of OWL 2, and should be read before other OWL 2 documents.	+	/ Using @book works best for W3C specs in most Bibtex styles /
		+	@book{owl2-conformance,
		+	editor = {Michael Smith and Ian Horrocks
		+	and Markus Kr\"{o}tzsch and Birte Glimm},
		+	title = {{brace}}{OWL~2 Web Ontology Language: Conformance{{ecarb}}},
		+	publisher = {W3C Recommendation},
		+	note = {Available at
		+	\url{http://www.w3.org/TR/owl2-conformance/{{ecarb}}},
		+	year = {27 October 2009}
		+	}
		+	\|link=http://www.w3.org/TR/owl2-conformance/
		+	\|abstract=The OWL 2 Web Ontology Language, informally OWL 2, is an ontology language for the Semantic Web with formally defined meaning. OWL 2 ontologies provide classes, properties, individuals, and data values and are stored as Semantic Web documents. OWL 2 ontologies can be used along with information written in RDF, and OWL 2 ontologies themselves are primarily exchanged as RDF documents. The OWL 2 Document Overview describes the overall state of OWL 2, and should be read before other OWL 2 documents.

	This document describes the conditions that OWL 2 tools must satisfy in order to be conformant with the language specification. It also presents a common format for OWL 2 test cases that both illustrate the features of the language and can be used for testing conformance.		This document describes the conditions that OWL 2 tools must satisfy in order to be conformant with the language specification. It also presents a common format for OWL 2 test cases that both illustrate the features of the language and can be used for testing conformance.
	}}		}}
-

	== Topics ==		== Topics ==

	[[topic::Semantic Web]], [[topic::Description logics]]		[[topic::Semantic Web]], [[topic::Description logics]]

OWL 2 Web Ontology Language Primer

Markus Krötzsch — Thu, 09 Sep 2010 15:22:14 GMT

+bibtex

← Older revision		Revision as of 15:22, 9 September 2010
Line 1:		Line 1:
-	{{edited publication\|	+	{{edited publication
-	editor1=Pascal Hitzler\|	+	\|editor1=Pascal Hitzler
-	editor2=Markus Krötzsch\|	+	\|editor2=Markus Krötzsch
-	editor3=Bijan Parsia\|	+	\|editor3=Bijan Parsia
-	editor4=Peter F. Patel-Schneider\|	+	\|editor4=Peter F. Patel-Schneider
-	editor5=Sebastian Rudolph\|	+	\|editor5=Sebastian Rudolph
-	title=OWL 2 Web Ontology Language Primer\|	+	\|title=OWL 2 Web Ontology Language Primer
-	date=27 October 2009\|	+	\|date=27 October 2009
-	updated=Oct 27 2009\|	+	\|updated=Oct 27 2009
-	type=Standardization document\|	+	\|type=Standardization document
-	where=W3C Recommendation 27 October 2009\|	+	\|where=W3C Recommendation 27 October 2009
-	publisher=W3C Recommendation\|	+	\|publisher=W3C Recommendation
-	~~link~~=http://www.w3.org/TR/owl2-primer/\|	+	\|bibtex=
-	abstract=The OWL 2 Web Ontology Language, informally OWL 2, is an ontology language for the Semantic Web with formally defined meaning. OWL 2 ontologies provide classes, properties, individuals, and data values and are stored as Semantic Web documents. OWL 2 ontologies can be used along with information written in RDF, and OWL 2 ontologies themselves are primarily exchanged as RDF documents. The OWL 2 Document Overview describes the overall state of OWL 2, and should be read before other OWL 2 documents.	+	/ Using @book works best for W3C specs in most Bibtex styles /
		+	@book{owl2-primer,
		+	editor = {Pascal Hitzler and Markus Kr\"{o}tzsch
		+	and Bijan Parsia and Peter F. Patel-Schneider
		+	and Sebastian Rudolph},
		+	title = {{brace}}{OWL~2 Web Ontology Language: Primer{{ecarb}}},
		+	publisher = {W3C Recommendation},
		+	note = {Available at
		+	\url{http://www.w3.org/TR/owl2-primer/{{ecarb}}},
		+	year = {27 October 2009}
		+	}
		+	\|link=http://www.w3.org/TR/owl2-primer/
		+	\|abstract=The OWL 2 Web Ontology Language, informally OWL 2, is an ontology language for the Semantic Web with formally defined meaning. OWL 2 ontologies provide classes, properties, individuals, and data values and are stored as Semantic Web documents. OWL 2 ontologies can be used along with information written in RDF, and OWL 2 ontologies themselves are primarily exchanged as RDF documents. The OWL 2 Document Overview describes the overall state of OWL 2, and should be read before other OWL 2 documents.

	This primer provides an approachable introduction to OWL 2, including orientation for those coming from other disciplines, a running example showing how OWL 2 can be used to represent first simple information and then more complex information, how OWL 2 manages ontologies, and finally the distinctions between the various sublanguages of OWL 2.		This primer provides an approachable introduction to OWL 2, including orientation for those coming from other disciplines, a running example showing how OWL 2 can be used to represent first simple information and then more complex information, how OWL 2 manages ontologies, and finally the distinctions between the various sublanguages of OWL 2.
	}}		}}
-

	== Topics ==		== Topics ==

	[[topic::Semantic Web]], [[topic::Description logics]]		[[topic::Semantic Web]], [[topic::Description logics]]

Template:Edited publication

Markus Krötzsch — Thu, 09 Sep 2010 15:20:51 GMT

← Older revision		Revision as of 15:20, 9 September 2010
(2 intermediate revisions not shown)
Line 22:		Line 22:
	* [[editor1::{{{editor1\|Editor 1}}}]]{{nonempty\|{{{editor2\|}}}\|, [[editor2::{{{editor2}}}]]}}{{nonempty\|{{{editor3\|}}}\|, [[editor3::{{{editor3}}}]]}}{{nonempty\|{{{editor4\|}}}\|, [[editor4::{{{editor4}}}]]}}{{nonempty\|{{{editor5\|}}}\|, [[editor5::{{{editor5}}}]]}}{{nonempty\|{{{editor6\|}}}\|, [[editor6::{{{editor6}}}]]}}{{nonempty\|{{{editor7\|}}}\|, [[editor7::{{{editor7}}}]]}}{{nonempty\|{{{editor8\|}}}\|, [[editor8::{{{editor8}}}]]}}{{nonempty\|{{{editor9\|}}}\|, [[editor9::{{{editor9}}}]]}}{{nonempty\|{{{editor10\|}}}\|, [[editor10::{{{editor10}}}]]}}{{nonempty\|{{{editor11\|}}}\|, [[editor11::{{{editor11}}}]]}}{{nonempty\|{{{editor12\|}}}\|, [[editor12::{{{editor12}}}]]}}, eds. {{nonempty\|{{{title\|}}}\|[[title::{{{title}}}]]}}{{nonempty\|{{{pages\|}}}\|, pp. {{{pages}}}}} {{nonempty\|{{{publisher\|}}}\|[[publisher::{{{publisher}}}]]}} {{nonempty\|{{{date\|}}}\|[[date::{{{date}}}]].}}		* [[editor1::{{{editor1\|Editor 1}}}]]{{nonempty\|{{{editor2\|}}}\|, [[editor2::{{{editor2}}}]]}}{{nonempty\|{{{editor3\|}}}\|, [[editor3::{{{editor3}}}]]}}{{nonempty\|{{{editor4\|}}}\|, [[editor4::{{{editor4}}}]]}}{{nonempty\|{{{editor5\|}}}\|, [[editor5::{{{editor5}}}]]}}{{nonempty\|{{{editor6\|}}}\|, [[editor6::{{{editor6}}}]]}}{{nonempty\|{{{editor7\|}}}\|, [[editor7::{{{editor7}}}]]}}{{nonempty\|{{{editor8\|}}}\|, [[editor8::{{{editor8}}}]]}}{{nonempty\|{{{editor9\|}}}\|, [[editor9::{{{editor9}}}]]}}{{nonempty\|{{{editor10\|}}}\|, [[editor10::{{{editor10}}}]]}}{{nonempty\|{{{editor11\|}}}\|, [[editor11::{{{editor11}}}]]}}{{nonempty\|{{{editor12\|}}}\|, [[editor12::{{{editor12}}}]]}}, eds. {{nonempty\|{{{title\|}}}\|[[title::{{{title}}}]]}}{{nonempty\|{{{pages\|}}}\|, pp. {{{pages}}}}} {{nonempty\|{{{publisher\|}}}\|[[publisher::{{{publisher}}}]]}} {{nonempty\|{{{date\|}}}\|[[date::{{{date}}}]].}}

		+	{{nonempty\|{{{bibtex\|}}}\|
		+
		+	{{Bibtex\|data={{{bibtex\|}}}}}}}
	<noinclude>		<noinclude>
		+
	LaTeX formatting does not work yet. The special symbols are a mess ...		LaTeX formatting does not work yet. The special symbols are a mess ...

Line 30:		Line 34:
	title = { {{{title}}} },<br />{{nonempty\|{{{booktitle\|}}}\|  booktitle \| { {{{booktitle}}} },<br />}}{{nonempty\|{{{publisher\|}}}\|  publisher \| { {{{publisher}}} },<br />}}{{nonempty\|{{{date\|}}}\|  year \| { {{{date}}} },<br />}}{{nonempty\|{{{editor1\|}}}\|  editor \| { {{{editor1}}} }}{{nonempty\|{{{editor2\|}}}\| and {{{editor2}}}}}{{nonempty\|{{{editor3\|}}}\| and {{{editor3}}}}}{{nonempty\|{{{editor4\|}}}\| and {{{editor4}}}}}{{nonempty\|{{{editor5\|}}}\| and {{{editor5}}}}}{{nonempty\|{{{editor6\|}}}\| and {{{editor6}}}}}{{nonempty\|{{{editor7\|}}}\| and {{{editor7}}}}}{{nonempty\|{{{editor8\|}}}\| and {{{editor8}}}}}{{nonempty\|{{{editor1\|}}}\| } }}		title = { {{{title}}} },<br />{{nonempty\|{{{booktitle\|}}}\|  booktitle \| { {{{booktitle}}} },<br />}}{{nonempty\|{{{publisher\|}}}\|  publisher \| { {{{publisher}}} },<br />}}{{nonempty\|{{{date\|}}}\|  year \| { {{{date}}} },<br />}}{{nonempty\|{{{editor1\|}}}\|  editor \| { {{{editor1}}} }}{{nonempty\|{{{editor2\|}}}\| and {{{editor2}}}}}{{nonempty\|{{{editor3\|}}}\| and {{{editor3}}}}}{{nonempty\|{{{editor4\|}}}\| and {{{editor4}}}}}{{nonempty\|{{{editor5\|}}}\| and {{{editor5}}}}}{{nonempty\|{{{editor6\|}}}\| and {{{editor6}}}}}{{nonempty\|{{{editor7\|}}}\| and {{{editor7}}}}}{{nonempty\|{{{editor8\|}}}\| and {{{editor8}}}}}{{nonempty\|{{{editor1\|}}}\| } }}
	}</tt>		}</tt>
-	~~</noinclude>~~

-	<includeonly>[[Category:Publication]]</includeonly>	+	</noinclude><includeonly>[[Category:Publication]]</includeonly>

Complexity Boundaries for Horn Description Logics

Markus Krötzsch — Thu, 09 Sep 2010 15:13:42 GMT

+bibtex

← Older revision		Revision as of 15:13, 9 September 2010
Line 1:		Line 1:
-	{{publication\|	+	{{publication
-	author1=Markus Krötzsch\|	+	\|author1=Markus Krötzsch
-	author2=Sebastian Rudolph\|	+	\|author2=Sebastian Rudolph
-	author3=Pascal Hitzler\|	+	\|author3=Pascal Hitzler
-	title=Complexity Boundaries for Horn Description Logics\|	+	\|title=Complexity Boundaries for Horn Description Logics
-	where=AAAI2007\|	+	\|where=AAAI2007
-	booktitle=Proceedings of the 22nd AAAI Conference on Artficial Intelligence (AAAI-07)\|	+	\|booktitle=Proceedings of the 22nd AAAI Conference on Artficial Intelligence (AAAI-07)
-	pages=452–457\|	+	\|pages=452–457
-	publisher=AAAI Press\|	+	\|publisher=AAAI Press
-	date=2007\|	+	\|date=2007
-	updated=August 22 2007\|	+	\|updated=August 22 2007
-	type=Conference paper\|	+	\|type=Conference paper
-	pdf=http://korrekt.org/papers/KroetzschRudolphHitzler_HornTR2007.pdf\|	+	\|bibtex=
-	abstract=Horn description logics (Horn-DLs) have recently started to attract attention due to the fact that their (worst-case) data complexities are in general lower than their overall (i.e. combined) complexities, which makes them attractive for reasoning with large ABoxes. However, the natural question whether Horn-DLs also provide advantages for TBox reasoning has hardly been addressed so far. In this paper, we therefore provide a thorough and comprehensive analysis of the combined complexities of Horn-DLs. While the combined complexity for many Horn-DLs turns out to be the same as for their non-Horn counterparts, we identify subboolean DLs where Hornness simplifies reasoning.	+	@inproceedings{KRH:hornAAAI,
		+	author = {Markus Kr{\"o}tzsch and Sebastian Rudolph
		+	and Pascal Hitzler},
		+	title = {Complexity Boundaries for {Horn} Description
		+	Logics},
		+	pages = {452--457},
		+	booktitle = {Proceedings of the 22nd AAAI Conference on
		+	Artificial Intelligence (AAAI'07)},
		+	publisher = {AAAI Press},
		+	year = {2007}
		+	}
		+	\|pdf=http://korrekt.org/papers/KroetzschRudolphHitzler_HornTR2007.pdf
		+	\|abstract=Horn description logics (Horn-DLs) have recently started to attract attention due to the fact that their (worst-case) data complexities are in general lower than their overall (i.e. combined) complexities, which makes them attractive for reasoning with large ABoxes. However, the natural question whether Horn-DLs also provide advantages for TBox reasoning has hardly been addressed so far. In this paper, we therefore provide a thorough and comprehensive analysis of the combined complexities of Horn-DLs. While the combined complexity for many Horn-DLs turns out to be the same as for their non-Horn counterparts, we identify subboolean DLs where Hornness simplifies reasoning.
	}}		}}

Terminological Reasoning in SHIQ with OBDDs

Markus Krötzsch — Thu, 09 Sep 2010 15:12:10 GMT

+bibtex

← Older revision		Revision as of 15:12, 9 September 2010
Line 1:		Line 1:
-	{{publication\|	+	{{publication
-	author1=Sebastian Rudolph\|	+	\|author1=Sebastian Rudolph
-	author2=Markus Krötzsch\|	+	\|author2=Markus Krötzsch
-	author3=Pascal Hitzler\|	+	\|author3=Pascal Hitzler
-	title=Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams\|	+	\|title=Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
-	where=AAAI2008\|	+	\|where=AAAI2008
-	booktitle=Proceedings of the 23rd AAAI Conference on Artficial Intelligence (AAAI-08)\|	+	\|booktitle=Proceedings of the 23rd AAAI Conference on Artficial Intelligence (AAAI-08)
-	~~<!--~~pages=~~452~~–~~457~~\|~~-->~~	+	\|pages=529–534
-	publisher=AAAI Press\|	+	\|publisher=AAAI Press
-	date=2008\|	+	\|date=2008
-	updated=April 1 2008\|	+	\|updated=April 1 2008
-	type=Conference paper\|	+	\|type=Conference paper
-	pdf=http://www.aifb.uni-karlsruhe.de/WBS/sru/TR-rudolph-OBDD4SHIQ.pdf\|	+	\|bibtex=
-	abstract=We present a new algorithm for reasoning in the [[description logics\|description logic]] SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered binary decision diagrams (OBDDs) as a datastructure for storing and operating on large model representations. We thus draw on the success and the proven scalability of OBDD-based systems. To the best of our knowledge, we present the very first algorithm for using OBDDs for reasoning with general Tboxes.	+	@inproceedings{RKH:OBDD08,
		+	author = {Sebastian Rudolph and Markus Kr\"{o}tzsch
		+	and Pascal Hitzler},
		+	title = {Terminological Reasoning in $\mathcal{SHIQ}$ with
		+	Ordered Binary Decision Diagrams},
		+	pages = {529--534},
		+	booktitle = {Proceedings of the 23rd AAAI Conference on
		+	Artificial Intelligence (AAAI'08)},
		+	publisher = {AAAI Press},
		+	year = {2008}
		+	}
		+	\|pdf=http://www.aifb.uni-karlsruhe.de/WBS/sru/TR-rudolph-OBDD4SHIQ.pdf
		+	\|abstract=We present a new algorithm for reasoning in the [[description logics\|description logic]] SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered binary decision diagrams (OBDDs) as a datastructure for storing and operating on large model representations. We thus draw on the success and the proven scalability of OBDD-based systems. To the best of our knowledge, we present the very first algorithm for using OBDDs for reasoning with general Tboxes.
	}}		}}

Conjunctive Queries for a Tractable Fragment of OWL1.1

Markus Krötzsch — Thu, 09 Sep 2010 15:09:46 GMT

+bibtex

← Older revision		Revision as of 15:09, 9 September 2010
Line 1:		Line 1:
-	{{publication\|	+	{{publication
-	author1=Markus Krötzsch\|	+	\|author1=Markus Krötzsch
-	author2=Sebastian Rudolph\|	+	\|author2=Sebastian Rudolph
-	author3=Pascal Hitzler\|	+	\|author3=Pascal Hitzler
-	title=Conjunctive Queries for a Tractable Fragment of OWL1.1\|	+	\|title=Conjunctive Queries for a Tractable Fragment of OWL1.1
-	where=ISWC2007\|	+	\|where=ISWC2007
-	booktitle=Proceedings of the 6th International Semantic Web Conference (ISWC-07)\|	+	\|booktitle=Proceedings of the 6th International Semantic Web Conference (ISWC-07)
-	editor1=Karl Aberer\|	+	\|editor1=Karl Aberer
-	editor2=Key-Sun Choi\|	+	\|editor2=Key-Sun Choi
-	editor3=Natasha Noy\|	+	\|editor3=Natasha Noy
-	editor4=Dean Allemang\|	+	\|editor4=Dean Allemang
-	editor5=Kyung-Il Lee\|	+	\|editor5=Kyung-Il Lee
-	editor6=Lyndon Nixon\|	+	\|editor6=Lyndon Nixon
-	editor7=Jennifer Golbeck\|	+	\|editor7=Jennifer Golbeck
-	editor8=Peter Mika\|	+	\|editor8=Peter Mika
-	editor9=Diana Maynard\|	+	\|editor9=Diana Maynard
-	editor10=Riichiro Mizoguchi\|	+	\|editor10=Riichiro Mizoguchi
-	editor11=Guus Schreiber\|	+	\|editor11=Guus Schreiber
-	editor12=Philippe Cudré-Mauroux\|	+	\|editor12=Philippe Cudré-Mauroux
-	publisher=Springer\|	+	\|publisher=Springer
-	date=2007\|	+	\|date=2007
-	pages=310–323\|	+	\|pages=310–323
-	updated=November 1st 2007\|	+	\|updated=November 1st 2007
-	type=Conference paper\|	+	\|type=Conference paper
-	pdf=http://korrekt.org/papers/KroetzschRudolphHitzler_ELquerying_ISWC2007.pdf\|	+	\|bibtex=
-	abstract=Despite the success of the Web Ontology Language OWL, the development of expressive means for querying OWL knowledge bases is still an open issue. In this paper, we investigate how a very natural and desirable form of queries – namely conjunctive ones – can be used in conjunction with OWL such that one of the major design criteria of the latter – namely decidability – can be retained. More precisely, we show that querying the tractable fragment EL++ of OWL 1.1 is decidable. We also provide a complexity analysis and show that querying unrestricted EL++ is undecidable.	+	@inproceedings{KRH:elcq07,
		+	author = {Markus Kr\"{o}tzsch and Sebastian Rudolph
		+	and Pascal Hitzler},
		+	title = {Conjunctive Queries for a Tractable Fragment of
		+	{OWL}~1.1},
		+	pages = {310--323},
		+	crossref = {iswc07}
		+	}
		+	@proceedings{iswc07,
		+	editor = {Karl Aberer and Key-Sun Choi and Natasha Noy
		+	and Dean Allemang and Kyung-Il Lee
		+	and Lyndon Nixon and Jennifer Golbeck
		+	and Peter Mika and Diana Maynard
		+	and Riichiro Mizoguchi and Guus Schreiber
		+	and Philippe Cudr\'{e}-Mauroux},
		+	title = {Proceedings of the 6th International Semantic Web
		+	Conference (ISWC'07)},
		+	booktitle = {Proceedings of the 6th International Semantic Web
		+	Conference (ISWC'07)},
		+	publisher = {Springer},
		+	series = {LNCS},
		+	volume = {4825},
		+	year = {2007}
		+	}
		+	\|pdf=http://korrekt.org/papers/KroetzschRudolphHitzler_ELquerying_ISWC2007.pdf
		+	\|abstract=Despite the success of the Web Ontology Language OWL, the development of expressive means for querying OWL knowledge bases is still an open issue. In this paper, we investigate how a very natural and desirable form of queries – namely conjunctive ones – can be used in conjunction with OWL such that one of the major design criteria of the latter – namely decidability – can be retained. More precisely, we show that querying the tractable fragment EL++ of OWL 1.1 is decidable. We also provide a complexity analysis and show that querying unrestricted EL++ is undecidable.
	}}		}}

Description Logic Rules

Markus Krötzsch — Thu, 09 Sep 2010 15:06:48 GMT

+bibtex

← Older revision		Revision as of 15:06, 9 September 2010
Line 1:		Line 1:
-	{{publication\|	+	{{publication
-	author1=Markus Krötzsch\|	+	\|author1=Markus Krötzsch
-	author2=Sebastian Rudolph\|	+	\|author2=Sebastian Rudolph
-	author3=Pascal Hitzler\|	+	\|author3=Pascal Hitzler
-	title=Description Logic Rules\|	+	\|title=Description Logic Rules
-	pages=80–84\|	+	\|pages=80–84
-	publisher=IOS Press\|	+	\|publisher=IOS Press
-	editor1=Malik Ghallab\|	+	\|editor1=Malik Ghallab
-	editor2=Constantine D. Spyropoulos\|	+	\|editor2=Constantine D. Spyropoulos
-	editor3=Nikos Fakotakis\|	+	\|editor3=Nikos Fakotakis
-	editor4=Nikos Avouris\|	+	\|editor4=Nikos Avouris
-	date=2008\|	+	\|date=2008
-	updated=May 26 2008\|	+	\|updated=May 26 2008
-	type=Conference paper\|	+	\|type=Conference paper
-	where=ECAI2008\|	+	\|where=ECAI2008
-	booktitle=Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08)\|	+	\|booktitle=Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08)
-	pdf=http://korrekt.org/papers/KroetzschRudolphHitzler_SROIQ-Rules_TR_2008.pdf\|	+	\|bibtex=
-	abstract=We introduce ''description logic rules'' (DL rules) as a new rule-based formalism for knowledge representation in DLs. As a fragment of the Semantic Web Rule Language SWRL, DL rules allow for a tight integration with DL knowledge bases. In contrast to SWRL, however, the combination of DL rules with expressive description logics remains decidable, and we show that the DL SROIQ – the basis for the ongoing standardisation of OWL 1.1 (now OWL 2) – can completely internalise DL rules. On the other hand, DL rules capture many expressive features of SROIQ that are not available in simpler DLs yet. While reasoning in SROIQ is highly intractable, it turns out that DL rules can be introduced to various lightweight DLs without increasing their worst-case complexity. In particular, DL rules enable us to significantly extend the tractable DLs EL++ and DLP.	+	@inproceedings{KRH:DLrules-08,
		+	author = {Markus Kr\"{o}tzsch and Sebastian Rudolph
		+	and Pascal Hitzler},
		+	title = {Description Logic Rules},
		+	pages = {80--84},
		+	crossref = {ecai08}
		+	}
		+	@proceedings{ecai08,
		+	editor = {Malik Ghallab and Constantine D. Spyropoulos
		+	and Nikos Fakotakis and Nikos Avouris},
		+	title = {Proceedings of the 18th European Conference on
		+	Artificial Intelligence (ECAI'08)},
		+	booktitle = {Proceedings of the 18th European Conference on
		+	Artificial Intelligence (ECAI'08)},
		+	publisher = {IOS Press},
		+	year = {2008}
		+	}
		+	\|pdf=http://korrekt.org/papers/KroetzschRudolphHitzler_SROIQ-Rules_TR_2008.pdf
		+	\|abstract=We introduce ''description logic rules'' (DL rules) as a new rule-based formalism for knowledge representation in DLs. As a fragment of the Semantic Web Rule Language SWRL, DL rules allow for a tight integration with DL knowledge bases. In contrast to SWRL, however, the combination of DL rules with expressive description logics remains decidable, and we show that the DL SROIQ – the basis for the ongoing standardisation of OWL 1.1 (now OWL 2) – can completely internalise DL rules. On the other hand, DL rules capture many expressive features of SROIQ that are not available in simpler DLs yet. While reasoning in SROIQ is highly intractable, it turns out that DL rules can be introduced to various lightweight DLs without increasing their worst-case complexity. In particular, DL rules enable us to significantly extend the tractable DLs EL++ and DLP.
	}}		}}

DL Role Constructors

Markus Krötzsch — Thu, 09 Sep 2010 15:04:53 GMT

+bibtex

← Older revision		Revision as of 15:04, 9 September 2010
Line 14:		Line 14:
	\| where=JELIA2008		\| where=JELIA2008
	\| booktitle=Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA-08)		\| booktitle=Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA-08)
		+	\| bibtex=
		+	@inproceedings{RKH:Jelia-08,
		+	author = {Sebastian Rudolph and Markus Kr\"{o}tzsch
		+	and Pascal Hitzler},
		+	title = {Cheap {Boolean} Role Constructors for Description
		+	Logics},
		+	pages = {362--374},
		+	crossref = {jelia08}
		+	}
		+	@proceedings{jelia08,
		+	editor = {Steffen H\"{o}lldobler and Carsten Lutz
		+	and Heinrich Wansing},
		+	title = {Proceedings of the 11th European Conference on
		+	Logics in Artificial Intelligence (JELIA'08)},
		+	booktitle = {Proceedings of the 11th European Conference on
		+	Logics in Artificial Intelligence (JELIA'08)},
		+	publisher = {Springer},
		+	series = {LNAI},
		+	volume = {5293},
		+	year = {2008}
		+	}
	\| pdf=http://www.aifb.uni-karlsruhe.de/WBS/sru/TR-RKH-bool-role.pdf		\| pdf=http://www.aifb.uni-karlsruhe.de/WBS/sru/TR-RKH-bool-role.pdf
	\| abstract=We investigate the possibility of incorporating Boolean role constructors on simple roles into some of today’s most popular description logics, focussing on cases where those extensions do not increase complexity of reasoning. We show that the expressive DLs SHOIQ and SROIQ, serving as the logical underpinning of OWL and the forthcoming OWL 2, can accommodate arbitrary Boolean expressions. The prominent OWL-fragment SHIQ can be safely extended by safe role expressions, and the tractable fragments EL++ and DLP retain tractability if extended by conjunction on roles, where in the case of DLP the restriction on role simplicity can even be discarded.		\| abstract=We investigate the possibility of incorporating Boolean role constructors on simple roles into some of today’s most popular description logics, focussing on cases where those extensions do not increase complexity of reasoning. We show that the expressive DLs SHOIQ and SROIQ, serving as the logical underpinning of OWL and the forthcoming OWL 2, can accommodate arbitrary Boolean expressions. The prominent OWL-fragment SHIQ can be safely extended by safe role expressions, and the tractable fragments EL++ and DLP retain tractability if extended by conjunction on roles, where in the case of DLP the restriction on role simplicity can even be discarded.

Description Logic Reasoning with Decision Diagrams

Markus Krötzsch — Thu, 09 Sep 2010 15:01:50 GMT

+bibtex

← Older revision		Revision as of 15:01, 9 September 2010
Line 1:		Line 1:
-	{{publication\|	+	{{publication
-	author1=Sebastian Rudolph\|	+	\|author1=Sebastian Rudolph
-	author2=Markus Krötzsch\|	+	\|author2=Markus Krötzsch
-	author3=Pascal Hitzler\|	+	\|author3=Pascal Hitzler
-	title=Description Logic Reasoning with Decision Diagrams – Compiling SHIQ to Disjunctive Datalog\|	+	\|title=Description Logic Reasoning with Decision Diagrams – Compiling SHIQ to Disjunctive Datalog
-	editor1=Amit Sheth\|	+	\|editor1=Amit Sheth
-	editor2=Steffen Staab\|	+	\|editor2=Steffen Staab
-	editor3=Mike Dean\|	+	\|editor3=Mike Dean
-	editor4=Massimo Paolucci\|	+	\|editor4=Massimo Paolucci
-	editor5=Diana Maynard\|	+	\|editor5=Diana Maynard
-	editor6=Timothy Finin\|	+	\|editor6=Timothy Finin
-	editor7=Krishnaprasad Thirunarayan\|	+	\|editor7=Krishnaprasad Thirunarayan
-	type=Conference paper\|	+	\|type=Conference paper
-	where=ISWC2008\|	+	\|where=ISWC2008
-	booktitle=Proceedings of the 7th International Semantic Web Conference (ISWC-08)\|	+	\|booktitle=Proceedings of the 7th International Semantic Web Conference (ISWC-08)
-	pages=435–450\|	+	\|pages=435–450
-	date=2008\|	+	\|date=2008
-	updated=July 10 2008\|	+	\|updated=July 10 2008
-	publisher=Springer\|	+	\|publisher=Springer
-	pdf=http://korrekt.org/papers/RudophKroetzschHitzler_Datalog-SHIQ-Abox-OBDD_2008.pdf\|	+	\|bibtex=
-	abstract=We propose a novel method for reasoning in the [[description logic]] SHIQ. After a satisfiability preserving transformation from SHIQ to the description logic ALCIb, the obtained ALCIb Tbox T is converted into an ordered binary decision diagram (OBDD) which represents a canonical model for T. This OBDD is turned into a disjunctive datalog program that can be used for Abox reasoning. The algorithm is worst-case optimal w.r.t. data complexity, and admits easy extensions with DL-safe rules and ground conjunctive queries.	+	@inproceedings{RKH:OBBD08b,
		+	author = {Sebastian Rudolph and Markus Kr\"{o}tzsch
		+	and Pascal Hitzler},
		+	title = {Description Logic Reasoning with Decision
		+	Diagrams: Compiling $\mathcal{SHIQ}$ to
		+	Disjunctive Datalog},
		+	pages = {435--450},
		+	crossref = {iswc08}
		+	}
		+	@proceedings{iswc08,
		+	editor = {Amit Sheth and Steffen Staab and Mike Dean
		+	and Massimo Paolucci and Diana Maynard
		+	and Timothy Finin and Krishnaprasad Thirunarayan},
		+	title = {Proceedings of the 7th International Semantic Web
		+	Conference (ISWC'08)},
		+	booktitle = {Proceedings of the 7th International Semantic Web
		+	Conference (ISWC'08)},
		+	publisher = {Springer},
		+	series = {LNCS},
		+	volume = {5318},
		+	year = {2008}
		+	}
		+	\|pdf=http://korrekt.org/papers/RudophKroetzschHitzler_Datalog-SHIQ-Abox-OBDD_2008.pdf
		+	\|abstract=We propose a novel method for reasoning in the [[description logic]] SHIQ. After a satisfiability preserving transformation from SHIQ to the description logic ALCIb, the obtained ALCIb Tbox T is converted into an ordered binary decision diagram (OBDD) which represents a canonical model for T. This OBDD is turned into a disjunctive datalog program that can be used for Abox reasoning. The algorithm is worst-case optimal w.r.t. data complexity, and admits easy extensions with DL-safe rules and ground conjunctive queries.
	}}		}}

ELP: Tractable Rules for OWL 2

Markus Krötzsch — Thu, 09 Sep 2010 14:58:01 GMT

+bibtex

← Older revision		Revision as of 14:58, 9 September 2010
Line 1:		Line 1:
-	{{publication\|	+	{{publication
-	author1=Markus Krötzsch\|	+	\|author1=Markus Krötzsch
-	author2=Sebastian Rudolph\|	+	\|author2=Sebastian Rudolph
-	author3=Pascal Hitzler\|	+	\|author3=Pascal Hitzler
-	title=ELP: Tractable Rules for OWL 2\|	+	\|title=ELP: Tractable Rules for OWL 2
-	editor1=Amit Sheth\|	+	\|editor1=Amit Sheth
-	editor2=Steffen Staab\|	+	\|editor2=Steffen Staab
-	editor3=Mike Dean\|	+	\|editor3=Mike Dean
-	editor4=Massimo Paolucci\|	+	\|editor4=Massimo Paolucci
-	editor5=Diana Maynard\|	+	\|editor5=Diana Maynard
-	editor6=Timothy Finin\|	+	\|editor6=Timothy Finin
-	editor7=Krishnaprasad Thirunarayan\|	+	\|editor7=Krishnaprasad Thirunarayan
-	date=2008\|	+	\|date=2008
-	updated=Oct 31 2008\|	+	\|updated=Oct 31 2008
-	type=Conference paper\|	+	\|type=Conference paper
-	where=ISWC2008\|	+	\|where=ISWC2008
-	booktitle=Proceedings of the 7th International Semantic Web Conference (ISWC-08)\|	+	\|booktitle=Proceedings of the 7th International Semantic Web Conference (ISWC-08)
-	pages=649–664\|	+	\|pages=649–664
-	publisher=Springer\|	+	\|publisher=Springer
-	pdf=http://korrekt.org/papers/KroetzschRudolphHitzler_ELP_TR_2008.pdf\|	+	\|bibtex=
-	abstract=We introduce ELP as a decidable fragment of the Semantic Web Rule Language (SWRL) that admits reasoning in polynomial time. ELP is based on the tractable description logic EL++, and encompasses an extended notion of the recently proposed [[DL rules]] for that logic. Thus ELP extends EL++ with a number of features introduced by the forthcoming OWL 2, such as disjoint roles, local reflexivity, certain range restrictions, and the universal role. We present a reasoning algorithm based on a translation of ELP to Datalog, and this translation also enables the seamless integration of DL-safe rules into ELP. While reasoning with DL-safe rules as such is already highly intractable, we show that DL-safe rules based on the Description Logic Programming (DLP) fragment of OWL 2 can be admitted in ELP without losing tractability.	+	@inproceedings{KRH:ELP-08,
		+	author = {Markus Kr\"{o}tzsch and Sebastian Rudolph
		+	and Pascal Hitzler},
		+	title = {{brace}}{ELP:} {Tractable} Rules for {OWL~2{{ecarb}}},
		+	pages = {649--664},
		+	crossref = {iswc08}
		+	}
		+	@proceedings{iswc08,
		+	editor = {Amit Sheth and Steffen Staab and Mike Dean
		+	and Massimo Paolucci and Diana Maynard
		+	and Timothy Finin and Krishnaprasad Thirunarayan},
		+	title = {Proceedings of the 7th International Semantic Web
		+	Conference (ISWC'08)},
		+	booktitle = {Proceedings of the 7th International Semantic Web
		+	Conference (ISWC'08)},
		+	publisher = {Springer},
		+	series = {LNCS},
		+	volume = {5318},
		+	year = {2008}
		+	}
		+	\|pdf=http://korrekt.org/papers/KroetzschRudolphHitzler_ELP_TR_2008.pdf
		+	\|abstract=We introduce ELP as a decidable fragment of the Semantic Web Rule Language (SWRL) that admits reasoning in polynomial time. ELP is based on the tractable description logic EL++, and encompasses an extended notion of the recently proposed [[DL rules]] for that logic. Thus ELP extends EL++ with a number of features introduced by the forthcoming OWL 2, such as disjoint roles, local reflexivity, certain range restrictions, and the universal role. We present a reasoning algorithm based on a translation of ELP to Datalog, and this translation also enables the seamless integration of DL-safe rules into ELP. While reasoning with DL-safe rules as such is already highly intractable, we show that DL-safe rules based on the Description Logic Programming (DLP) fragment of OWL 2 can be admitted in ELP without losing tractability.
	}}		}}

On the Semantic Relationship between Datalog and Description Logics

Markus Krötzsch — Thu, 09 Sep 2010 14:53:52 GMT

← Older revision		Revision as of 14:53, 9 September 2010
Line 1:		Line 1:
-	{{publication\|	+	{{publication
-	author1=Markus Krötzsch\|	+	\|author1=Markus Krötzsch
-	author2=Sebastian Rudolph\|	+	\|author2=Sebastian Rudolph
-	author3=Peter H. Schmitt\|	+	\|author3=Peter H. Schmitt
-	title=On the Semantic Relationship between Datalog and Description Logics\|	+	\|title=On the Semantic Relationship between Datalog and Description Logics
-	editor1=Pascal Hitzler\|	+	\|editor1=Pascal Hitzler
-	editor2=Thomas Luksiewicz\|	+	\|editor2=Thomas Luksiewicz
-	date=2010\|	+	\|date=2010
-	updated=Aug 10 2010\|	+	\|updated=Aug 10 2010
-	type=Conference paper\|	+	\|type=Conference paper
-	where=RR2010\|	+	\|where=RR2010
-	booktitle=Proceedings of the 4th Interational Conference on Web Reasoning and Rule Systems\|	+	\|booktitle=Proceedings of the 4th Interational Conference on Web Reasoning and Rule Systems
-	pages=to appear\|	+	\|pages=to appear
-	publisher=Springer\|	+	\|publisher=Springer
-	pdf=http://korrekt.org/papers/KroetzschRudolphSchmitt_DLP_2010.pdf\|	+	\|bibtex=
-	abstract=Translations to (first-order) datalog have been used in a number of inferencing techniques for description logics (DLs), yet the relationship between the semantic expressivities of function-free Horn logic and DL is understood only poorly. Although Description Logic Programs (DLP) have been described as DLs in the “expressive intersection” of DL and datalog, it is unclear what an intersection of two syntactically incomparable logics is, even if both have a first-order logic semantics. In this work, we offer a characterisation for DL fragments that can be expressed, in a concrete sense, in datalog. We then determine the largest such fragment for the DL ALC, and provide an outlook on the extension of our methods to more expressive DLs.	+	@inproceedings{KRS10:dlp,
		+	author = {Markus Kr\"{o}tzsch and Sebastian Rudolph
		+	and Peter H. Schmitt},
		+	title = {On the Semantic Relationship between Datalog
		+	and Description Logics},
		+	booktitle = {Proceedings of the 4th Interational Conference on
		+	Web Reasoning and Rule Systems (RR'10)},
		+	editors = {Pascal Hitzler and Thomas Luksiewicz},
		+	publisher = {Springer},
		+	series = {LNCS},
		+	year = {2010},
		+	note = "To appear",
		+	}
		+	\|pdf=http://korrekt.org/papers/KroetzschRudolphSchmitt_DLP_2010.pdf
		+	\|abstract=Translations to (first-order) datalog have been used in a number of inferencing techniques for description logics (DLs), yet the relationship between the semantic expressivities of function-free Horn logic and DL is understood only poorly. Although Description Logic Programs (DLP) have been described as DLs in the “expressive intersection” of DL and datalog, it is unclear what an intersection of two syntactically incomparable logics is, even if both have a first-order logic semantics. In this work, we offer a characterisation for DL fragments that can be expressed, in a concrete sense, in datalog. We then determine the largest such fragment for the DL ALC, and provide an outlook on the extension of our methods to more expressive DLs.
	}}		}}

Efficient Inferencing for OWL EL

Markus Krötzsch — Thu, 09 Sep 2010 14:51:28 GMT

← Older revision		Revision as of 14:51, 9 September 2010
Line 14:		Line 14:
	@inproceedings{Kroetzsch10:elreason,		@inproceedings{Kroetzsch10:elreason,
	author = {Markus Kr{\"o}tzsch},		author = {Markus Kr{\"o}tzsch},
-	title = {Efficient Inferencing for {OWL EL} },	+	title = {Efficient Inferencing for {OWL EL{{ecarb}}},
	crossref = {jelia10},		crossref = {jelia10},
	note = "To appear",		note = "To appear",
	}		}
	@proceedings{jelia10,		@proceedings{jelia10,
-	editor = {Tomi Janhunen and Ilkka Niemel\"{a} },	+	editor = {Tomi Janhunen and Ilkka Niemel\"{a{{ecarb}}},
	title = {Proceedings of the 12th European Conference on		title = {Proceedings of the 12th European Conference on
	Logics in Artificial Intelligence (JELIA'10)},		Logics in Artificial Intelligence (JELIA'10)},

Template:Ecarb

Markus Krötzsch — Thu, 09 Sep 2010 14:50:20 GMT

New page: }

New page

}

SPARQL Beyond Subgraph Matching

Markus Krötzsch — Thu, 09 Sep 2010 14:49:37 GMT

← Older revision		Revision as of 14:49, 9 September 2010
(One intermediate revision not shown)
Line 14:		Line 14:
	@inproceedings{GK10:SPARQLentailment,		@inproceedings{GK10:SPARQLentailment,
	author = {Birte Glimm and Markus Kr{\"o}tzsch},		author = {Birte Glimm and Markus Kr{\"o}tzsch},
-	title = { {SPARQL} Beyond Subgraph Matching},	+	title = {{{brace}}SPARQL} Beyond Subgraph Matching},
	note = "To appear",		note = "To appear",
	crossref = {iswc10}		crossref = {iswc10}

Template:Brace

Markus Krötzsch — Thu, 09 Sep 2010 14:47:40 GMT

New page: {

New page

{

SPARQL Beyond Subgraph Matching

Markus Krötzsch — Thu, 09 Sep 2010 14:46:47 GMT

← Older revision		Revision as of 14:46, 9 September 2010
Line 1:		Line 1:
-	{{publication\|	+	{{publication
-	author1=Birte Glimm\|	+	\|author1=Birte Glimm
-	author2=Markus Krötzsch\|	+	\|author2=Markus Krötzsch
-	title=SPARQL Beyond Subgraph Matching\|	+	\|title=SPARQL Beyond Subgraph Matching
-	<!--editor1=\|-->	+	<!--\|editor1=-->
-	date=2010\|	+	\|date=2010
-	updated=Sep 1 2010\|	+	\|updated=Sep 1 2010
-	type=Conference paper\|	+	\|type=Conference paper
-	where=ISWC2010\|	+	\|where=ISWC2010
-	booktitle=Proceedings of the 9th International Semantic Web Conference\|	+	\|booktitle=Proceedings of the 9th International Semantic Web Conference
-	pages=to appear\|	+	\|pages=to appear
-	publisher=Springer\|	+	\|publisher=Springer
-	pdf=http://korrekt.org/papers/GlimmKroetzsch_SPARQL-entailment_ISWC_2010.pdf\|	+	\|bibtex=
-	abstract=We extend the Semantic Web query language SPARQL by defining the semantics of SPARQL queries under the entailment regimes of RDF, RDFS, and OWL. The proposed extensions are part of the SPARQL 1.1 Entailment Regimes working draft which is currently being developed as part of the W3C standardization process of SPARQL 1.1. We review the conditions that SPARQL imposes on such extensions, discuss the practical difficulties of this task, and explicate the design choices underlying our proposals. In addition, we include an overview of current implementations and their underlying techniques.	+	@inproceedings{GK10:SPARQLentailment,
		+	author = {Birte Glimm and Markus Kr{\"o}tzsch},
		+	title = { {SPARQL} Beyond Subgraph Matching},
		+	note = "To appear",
		+	crossref = {iswc10}
		+	}
		+	@proceedings{iswc10,
		+	editor = {Peter F. Patel-Schneider and Yue Pan and Birte Glimm
		+	and Pascal Hitzler and Peter Mika
		+	and Jeff Pan and Ian Horrocks},
		+	title = {Proceedings of the 9th International Semantic Web
		+	Conference (ISWC'10)},
		+	booktitle = {Proceedings of the 9th International Semantic Web
		+	Conference (ISWC'10)},
		+	publisher = {Springer},
		+	series = {LNCS},
		+	year = {2010}
		+	}
		+	\|pdf=http://korrekt.org/papers/GlimmKroetzsch_SPARQL-entailment_ISWC_2010.pdf
		+	\|abstract=We extend the Semantic Web query language SPARQL by defining the semantics of SPARQL queries under the entailment regimes of RDF, RDFS, and OWL. The proposed extensions are part of the SPARQL 1.1 Entailment Regimes working draft which is currently being developed as part of the W3C standardization process of SPARQL 1.1. We review the conditions that SPARQL imposes on such extensions, discuss the practical difficulties of this task, and explicate the design choices underlying our proposals. In addition, we include an overview of current implementations and their underlying techniques.
	}}		}}

← Older revision		Revision as of 16:33, 9 September 2010
Line 5:		Line 5:
	?Title \|?Booktitle \|		?Title \|?Booktitle \|
	?Editor1 \|?Editor2 \|?Editor3 \|?Editor4 \|?Editor5 \|?Editor6 \|?Editor7 \|?Editor8 \|		?Editor1 \|?Editor2 \|?Editor3 \|?Editor4 \|?Editor5 \|?Editor6 \|?Editor7 \|?Editor8 \|
-	?Publisher \|?date \| ?URL \|?Publication type~~\| ?bibtex~~ \|	+	?Publisher \|?date \| ?URL \|?Publication type\|
	format=ul\|		format=ul\|
	template=Publication format\|		template=Publication format\|
Line 16:		Line 16:
	?Title \|?Booktitle \|		?Title \|?Booktitle \|
	?Editor1 \|?Editor2 \|?Editor3 \|?Editor4 \|?Editor5 \|?Editor6 \|?Editor7 \|?Editor8 \|		?Editor1 \|?Editor2 \|?Editor3 \|?Editor4 \|?Editor5 \|?Editor6 \|?Editor7 \|?Editor8 \|
-	?Publisher \|?date \| ?URL \|?Publication type~~\| ?bibtex~~ \|	+	?Publisher \|?date \| ?URL \|?Publication type\|
	format=ul\|		format=ul\|
	template=Publication format\|		template=Publication format\|

← Older revision		Revision as of 16:19, 9 September 2010
Line 5:		Line 5:
	?Title \|?Booktitle \|		?Title \|?Booktitle \|
	?Editor1 \|?Editor2 \|?Editor3 \|?Editor4 \|?Editor5 \|?Editor6 \|?Editor7 \|?Editor8 \|		?Editor1 \|?Editor2 \|?Editor3 \|?Editor4 \|?Editor5 \|?Editor6 \|?Editor7 \|?Editor8 \|
-	?Publisher \|?date \| ?URL \|?Publication type\|	+	?Publisher \|?date \| ?URL \|?Publication type\| ?bibtex \|
	format=ul\|		format=ul\|
	template=Publication format\|		template=Publication format\|
Line 16:		Line 16:
	?Title \|?Booktitle \|		?Title \|?Booktitle \|
	?Editor1 \|?Editor2 \|?Editor3 \|?Editor4 \|?Editor5 \|?Editor6 \|?Editor7 \|?Editor8 \|		?Editor1 \|?Editor2 \|?Editor3 \|?Editor4 \|?Editor5 \|?Editor6 \|?Editor7 \|?Editor8 \|
-	?Publisher \|?date \| ?URL \|?Publication type\|	+	?Publisher \|?date \| ?URL \|?Publication type\| ?bibtex \|
	format=ul\|		format=ul\|
	template=Publication format\|		template=Publication format\|