Well−Founded Semantics for Description Logic Programs in the Semantic Web

Thomas Eiter; Thomas Lukasiewicz; Roman Schindlauer; Hans Tompits

Abstract:

In previous work, towards the integration of rules and ontologies in the SemanticWeb, we have proposed 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. More precisely, we have introduced description logic programs (or dl-programs), which consist of a description logic knowledge base L and a finite set of description logic ...

Expand abstract

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Cite

Cite this record

APA Style

Eiter, T., Lukasiewicz, T., Schindlauer, R., & Tompits, H. (2004). Well−Founded Semantics for Description Logic Programs in the Semantic Web. 3323.

MLA Style

Eiter, Thomas, et al. Well−Founded Semantics for Description Logic Programs in the Semantic Web. Springer, 2004.

Chicago Style

Eiter, Thomas, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits. 2004. “Well−Founded Semantics for Description Logic Programs in the Semantic Web.” In . Vol. 3323. Springer.
Tweet
Print