Combining answer set programming with description logics for the Semantic Web

We propose a combination of logic programming under the answer set semantics with the description logics SHIF ( D ) and SHOIN ( D ) , which underly the Web ontology languages OWL Lite and OWL DL, respectively. To this end, we introduce description logic programs (or dl-programs), which consist of a...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Artificial intelligence Jg. 172; H. 12; S. 1495 - 1539
Hauptverfasser:	Eiter, Thomas, Ianni, Giovambattista, Lukasiewicz, Thomas, Schindlauer, Roman, Tompits, Hans
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Oxford Elsevier B.V 01.08.2008 Elsevier
Schlagworte:	Answer set programming Applied sciences Artificial intelligence Closed-world reasoning Computational complexity Computer science; control theory; systems Computer systems and distributed systems. User interface Default logic Description logics Exact sciences and technology Information systems. Data bases Language theory and syntactical analysis Memory organisation. Data processing Ontologies Rules Semantic Web Software Speech and sound recognition and synthesis. Linguistics Theoretical computing Semantic Web Closed-world reasoning Description logics Answer set programming Ontologies Rules Computational complexity Default logic Database query Ontology Knowledge representation Web service Knowledge base Logical programming Task analysis Modeling Circumscription Exact solution Semantic web Description logic Semantics World wide web Internet Artificial intelligence Program complexity
ISSN:	0004-3702, 1872-7921
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!