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ženo v:

Podrobná bibliografie
Vydáno v:	Artificial intelligence Ročník 172; číslo 12; s. 1495 - 1539
Hlavní autoři:	Eiter, Thomas, Ianni, Giovambattista, Lukasiewicz, Thomas, Schindlauer, Roman, Tompits, Hans
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Oxford Elsevier B.V 01.08.2008 Elsevier
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!