Approximate Subsumption in ALCQ

URL:	http://ceur-ws.org/Vol-250/paper_4.pdf
Weitere URL:	http://publications.wim.uni-mannheim.de/informatik...
Dokumenttyp:	Konferenzveröffentlichung
Erscheinungsjahr:	2007
Buchtitel:	Proceedings of the 2007 International Workshop on Description Logics (DL 2007) : Brixen-Bressanone, near Bozen-Bolzano, Italy 8–10 June, 2007
Titel einer Zeitschrift oder einer Reihe:	CEUR Workshop Proceedings
Band/Volume:	250
Seitenbereich:	Paper 4
Veranstaltungstitel:	International Workshop on Description Logics (DL 2007)
Veranstaltungsort:	Brixen, Italy
Veranstaltungsdatum:	8-10 June, 2007
Herausgeber:	Calvanese, Diego
Ort der Veröffentlichung:	Aachen, Germany
Verlag:	RWTH Aachen
ISSN:	1613-0073
Sprache der Veröffentlichung:	Englisch
Einrichtung:	Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Wissensrepräsentation u. Wissensmanagement (Juniorprofessur) (Stuckenschmidt 2005-2008)
Fachgebiet:	004 Informatik
Normierte Schlagwörter (SWD):	Terminologische Logik , Inferenz <Künstliche Intelligenz> , Approximationsalgorithmus