Semantisches Browsen

Diese Seite oder Aktion benötigt JavaScript, um zu funktionieren. Bitte aktiviere JavaScript in deinem Browser oder verwende einen Browser, der dies unterstützt, damit die angeforderten Funktionen ausgeführt werden können. Weitere Informationen findest du auf der Hilfeseite zu „noscript“.

Franz Baader +, Boontawee Suntisrivaraporn + und Novak Novakovic +

Bibtype

Inproceedings +

Booktitle

Proceedings of the 2008 International Workshop on Description Logics (DL2008) +

Baader +

Franz +

1 +

CEUR-WS +

A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes +

0 +

inproceedings +

353 +

2008 +

Adminstrative properties

Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.

25. März 2015, 14:34:06 +

Classification properties

Kategorie

Inproceedings

Content properties

Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.

LATPub404 +

LATPub404/en +

Weiterleitungsseite