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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Artificial intelligence Ročník 172; číslo 12; s. 1495 - 1539
Hlavní autori:	Eiter, Thomas, Ianni, Giovambattista, Lukasiewicz, Thomas, Schindlauer, Roman, Tompits, Hans
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Oxford Elsevier B.V 01.08.2008 Elsevier
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!