Answer Set Programming et interrogation

Les ontologies permettent de décrire des informations sur des concepts et les liens entre ceux-ci et de nombreux raisonneurs efficaces sont disponibles pour les interroger. Lorsque les informations à traiter sont de nature imparfaite ou sujettes à exception, les formalismes habituels ne sont plus ada...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Revue d'Intelligence Artificielle Jg. 32; H. 5-6; S. 555
Hauptverfasser: GARREAU, Fabien, GARCIA, Laurent, LEFÈVRE, Claire, STÉPHAN, Igor
Format: Journal Article
Sprache:Französisch
Veröffentlicht: Edmonton International Information and Engineering Technology Association (IIETA) 01.01.2018
Schlagworte:
Interrogation
Mathematical programming
Ontology
Questioning
ISSN:0992-499X, 1958-5748
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Les ontologies permettent de décrire des informations sur des concepts et les liens entre ceux-ci et de nombreux raisonneurs efficaces sont disponibles pour les interroger. Lorsque les informations à traiter sont de nature imparfaite ou sujettes à exception, les formalismes habituels ne sont plus adaptés et nous proposons ici d’utiliser l’Answer Set Programming (ASP) qui permet une meilleure expressivité des ontologies. Nous nous intéressons à la définition formelle de l’interrogation en ASP et nous montrons que les implémentations associées permettent d’obtenir des résultats intéressants à la fois sur les ontologies traditionnelles et sur celles admettant des exceptions. Ontologies are used to describe information about concepts and links between them. Several efficient reasoners are available for query answering with ontologies. When information to be processed is imperfect or is subject to exception, common formalisms are not suitable anymore, that is why we propose the use of Answer Set Programming (ASP) that offers a better expressivity for ontologies. We take interest in the formal definition of query answering in ASP and we show that related implementations give interesting results both on traditional ontologies and with those containing exceptions.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0992-499X
1958-5748
DOI:10.3166/ria.32.555-602