Distributed Resolution for ALC - First Results


Schlicht, Anne ; Stuckenschmidt, Heiner



URL: http://ceur-ws.org/Vol-350/paper5.pdf
Weitere URL: http://publications.wim.uni-mannheim.de/informatik...
Dokumenttyp: Konferenzveröffentlichung
Erscheinungsjahr: 2008
Buchtitel: ARea2008 : Proceedings of the Workshop on Advancing Reasoning on the Web: Scalability and Commonsense Tenerife, Spain, June 2, 2008
Titel einer Zeitschrift oder einer Reihe: CEUR Workshop Proceedings
Band/Volume: 350
Seitenbereich: Paper 5
Veranstaltungsdatum: June 2, 2008
Herausgeber: Harmelen, Frank van
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): Automatisches Beweisverfahren , Beschreibungslogik




Dieser Eintrag ist Teil der Universitätsbibliographie.




Metadaten-Export


Zitation


+ Suche Autoren in

+ Aufruf-Statistik

Aufrufe im letzten Jahr

Detaillierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen