Non-standard inferences in description logics
Description logics (DLs) are used to represent structured knowledge. Inference services testing consistency of knowledge bases and computing subconcept/superconcept hierarchies are the main feature of DL systems. Intensive research during the last fifteen years has led to highly optimized systems th...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science. Lecture notes in artificial intelligence
2100 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Non-standard inferences in description logics, Ralf Küsters, 2001, New York, Springer, 1 vol. (X-250 p.), Lecture notes in computer science, 3-540-42397-4 • Non-Standard Inferences in Description Logics, Texte imprimé, 9783662205846 |
| LEADER | 03354nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 949118 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155213946 | ||
| 020 | |a 9783540446132 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Küsters, Ralf, |d 1972-...., |c informaticien. | |
| 245 | 1 | 0 | |a Non-standard inferences in description logics |c Ralf Küsters. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 2100 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 502 | |a Texte remanié de. Thèse : Computer science : RWTH, Aachen : 1999 | ||
| 505 | 0 | |a Description Logics -- Non-Standard Inferences -- Characterizing Subsumption -- LCS and MSC -- Matching -- Conclusion. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Description logics (DLs) are used to represent structured knowledge. Inference services testing consistency of knowledge bases and computing subconcept/superconcept hierarchies are the main feature of DL systems. Intensive research during the last fifteen years has led to highly optimized systems that allow to reason about knowledge bases efficiently. However, applications often require additional non-standard inferences to support both the construction and the maintenance of knowledge bases, thus making the inference procedures again incomplete. This book, which is a revised version of the author's PhD thesis, constitutes a significant step to fill this gap by providing an excellent formal foundation of the most prominent non-standard inferences. The descriptions given include precise definitions, complete algorithms and thorough complexity analysis. With its solid foundation, the book also serves as a basis for future research. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Représentation des connaissances | ||
| 650 | |a Prédicat (logique) | ||
| 776 | 0 | |0 058528822 |t Non-standard inferences in description logics |f Ralf Küsters |d 2001 |c New York |n Springer |p 1 vol. (X-250 p.) |s Lecture notes in computer science |z 3-540-42397-4 | |
| 776 | 0 | |t Non-Standard Inferences in Description Logics |b Texte imprimé |z 9783662205846 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-44613-3 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-T429ZFJ2-L |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748060871 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-44613-3 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751512419 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-44613-3 |z Accès INSA CVL | |
| 997 | |0 949118 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||