The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Zoekresultaten

Zoekopdracht: faculteit: "FdR" en publicatiejaar: "2011"

AuteursS. Klarman, U. Endriss, S. Schlobach
TitelABox Abduction in the Description Logic ALC
TijdschriftJournal of Automated Reasoning
Jaargang46
Jaar2011
Nummer1
Pagina's43-80
ISSN01687433
FaculteitFaculteit der Natuurwetenschappen, Wiskunde en Informatica
Faculteit der Rechtsgeleerdheid
Instituut/afd.FNWI: Institute for Logic, Language and Computation (ILLC)
SamenvattingDue to the growing popularity of Description Logics-based knowledge representation systems, predominantly in the context of Semantic Web applications, there is a rising demand for tools offering non-standard reasoning services. One particularly interesting form of reasoning, both from the user as well as the ontology engineering perspective, is abduction. In this paper we introduce two novel reasoning calculi for solving ABox abduction problems in the Description Logic ALC , i.e. problems of finding minimal sets of ABox axioms, which when added to the knowledge base enforce entailment of a requested set of assertions. The algorithms are based on regular connection tableaux and resolution with set-of-support and are proven to be sound and complete. We elaborate on a number of technical issues involved and discuss some practical aspects of reasoning with the methods.
Soort documentArtikel
Document finderUvA-Linker