J: Erklärung und Korrektur von Nicht-Subsumtion in - 6 Angebote vergleichen

Durch die Entwicklung des Semantic Web beschäftigen sich auch zunehmend Menschen mit der Modellierung von Ontologien, denen detailliertere Kenntnisse über die zu Grunde liegenden Beschreibungslogiken fehlen. Da die in diesem Kontext verwendeten Inferenzdienste auf sehr komplizierten Algorithmen beruhen, sind die Schlussfolgerungen von Reasonern oftmals schwer nachzuvollziehen. Dies ist aber insbesondere dann wichtig, wenn es darum geht, Fehler in einer Modellierung zu finden. Eine Vereinfachung des Umgangs mit den entsprechenden Anwendungen ist daher von großem Interesse. Bei der Modellierung einer Ontologie kommt es oft vor, dass der Benutzer eine Subsumtion zweier Konzepte erwartet, sich diese aber bei Überprüfung mit einem Reasoner als nicht gültig herausstellt. Diese Arbeit beschäftigt sich mit der Erklärung und Korrektur von Nicht-Subsumtion. Es werden Ideen präsentiert, wie eine in einen Tableau-Reasoner integrierte Erklärungskomponente eine Nicht-Subsumtion zweier Konzepten einer TBox erklären und Vorschläge zur Korrektur unterbreiten kann. Das Buch richtet sich an Informatiker und andere Interessierte, die bereits über Kenntnisse im Bereich Beschreibungslogiken verfügen. Julian Lambertz, 22.0 x 15.0 x 0.5 cm, Buch.

Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Durch die Entwicklung des Semantic Web beschäftigen sich auch zunehmend Menschen mit der Modellierung von Ontologien, denen detailliertere Kenntnisse über die zu Grunde liegenden Beschreibungslogiken fehlen. Da die in diesem Kontext verwendeten Inferenzdienste auf sehr komplizierten Algorithmen beruhen, sind die Schlussfolgerungen von Reasonern oftmals schwer nachzuvollziehen. Dies ist aber insbesondere dann wichtig, wenn es darum geht, Fehler in einer Modellierung zu finden. Eine Vereinfachung des Umgangs mit den entsprechenden Anwendungen ist daher von großem Interesse. Bei der Modellierung einer Ontologie kommt es oft vor, dass der Benutzer eine Subsumtion zweier Konzepte erwartet, sich diese aber bei Überprüfung mit einem Reasoner als nicht gültig herausstellt. Diese Arbeit beschäftigt sich mit der Erklärung und Korrektur von Nicht-Subsumtion. Es werden Ideen präsentiert, wie eine in einen Tableau-Reasoner integrierte Erklärungskomponente eine Nicht-Subsumtion zweier Konzepten einer TBox erklären und Vorschläge zur Korrektur unterbreiten kann. Das Buch richtet sich an Informatiker und andere Interessierte, die bereits über Kenntnisse im Bereich Beschreibungslogiken verfügen.2008. 76 S. 220 mmVersandfertig in 3-5 Tagen, Softcover.

Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
This item is printed on demand - Print on Demand Titel. Neuware - Durch die Entwicklung des Semantic Web beschäftigen sich auch zunehmend Menschen mit der Modellierung von Ontologien, denen detailliertere Kenntnisse über die zu Grunde liegenden Beschreibungslogiken fehlen. Da die in diesem Kontext verwendeten Inferenzdienste auf sehr komplizierten Algorithmen beruhen, sind die Schlussfolgerungen von Reasonern oftmals schwer nachzuvollziehen. Dies ist aber insbesondere dann wichtig, wenn es darum geht, Fehler in einer Modellierung zu finden. Eine Vereinfachung des Umgangs mit den entsprechenden Anwendungen ist daher von großem Interesse. Bei der Modellierung einer Ontologie kommt es oft vor, dass der Benutzer eine Subsumtion zweier Konzepte erwartet, sich diese aber bei Überprüfung mit einem Reasoner als nicht gültig herausstellt. Diese Arbeit beschäftigt sich mit der Erklärung und Korrektur von Nicht-Subsumtion. Es werden Ideen präsentiert, wie eine in einen Tableau-Reasoner integrierte Erklärungskomponente eine Nicht-Subsumtion zweier Konzepten einer TBox erklären und Vorschläge zur Korrektur unterbreiten kann. Das Buch richtet sich an Informatiker und andere Interessierte, die bereits über Kenntnisse im Bereich Beschreibungslogiken verfügen. 76 pp. Deutsch.

Lieferung aus: Deutschland, Versandkostenfrei.
AHA-BUCH GmbH, [4009276].
- Durch die Entwicklung des Semantic Web beschäftigen sich auchzunehmend Menschen mit der Modellierung von Ontologien, denendetailliertere Kenntnisse über die zu Grunde liegendenBeschreibungslogiken fehlen. Da die in diesem Kontext verwendetenInferenzdienste auf sehr komplizierten Algorithmen beruhen, sinddie Schlussfolgerungen von Reasonern oftmals schwernachzuvollziehen. Dies ist aber insbesondere dann wichtig, wenn esdarum geht, Fehler in einer Modellierung zu finden. EineVereinfachung des Umgangsmit den entsprechenden Anwendungen istdaher von großem Interesse. Bei der Modellierung einer Ontologiekommt es oft vor, dass der Benutzer eine Subsumtion zweier Konzepteerwartet, sich diese aber bei Überprüfung mit einem Reasoner alsnicht gültig herausstellt. Diese Arbeit beschäftigt sich mit derErklärung und Korrektur von Nicht-Subsumtion. Es werden Ideenpräsentiert, wie eine in einen Tableau-Reasoner integrierteErklärungskomponente eine Nicht-Subsumtion zweier Konzepten einerTBox erklären und Vorschläge zur Korrektur unterbreiten kann. DasBuch richtet sich an Informatiker und andere Interessierte, diebereits über Kenntnisse im Bereich Beschreibungslogikenverfügen. - Besorgungstitel - vorauss. Lieferzeit 3-5 Tage.. Kartoniert/Broschiert.

Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, NDS, Germany.
This item is printed on demand - Print on Demand Titel. - Durch die Entwicklung des Semantic Web beschäftigen sich auchzunehmend Menschen mit der Modellierung von Ontologien, denendetailliertere Kenntnisse über die zu Grunde liegendenBeschreibungslogiken fehlen. Da die in diesem Kontext verwendetenInferenzdienste auf sehr komplizierten Algorithmen beruhen, sinddie Schlussfolgerungen von Reasonern oftmals schwernachzuvollziehen. Dies ist aber insbesondere dann wichtig, wenn esdarum geht, Fehler in einer Modellierung zu finden. EineVereinfachung des Umgangsmit den entsprechenden Anwendungen istdaher von großem Interesse. Bei der Modellierung einer Ontologiekommt es oft vor, dass der Benutzer eine Subsumtion zweier Konzepteerwartet, sich diese aber bei Überprüfung mit einem Reasoner alsnicht gültig herausstellt. Diese Arbeit beschäftigt sich mit derErklärung und Korrektur von Nicht-Subsumtion. Es werden Ideenpräsentiert, wie eine in einen Tableau-Reasoner integrierteErklärungskomponente eine Nicht-Subsumtion zweier Konzepten einerTBox erklären und Vorschläge zur Korrektur unterbreiten kann. DasBuch richtet sich an Informatiker und andere Interessierte, diebereits über Kenntnisse im Bereich Beschreibungslogikenverfügen. 76 pp. Deutsch.

Von Händler/Antiquariat, English-Book-Service - A Fine Choice [1048135], Waldshut-Tiengen, BW, Germany.
This item is printed on demand for shipment within 3 working days.