Combining Answer Set Programming with Description Logics for the Semantic Web

Combining Answer Set Programming with Description Logics for the Semantic Web

Show other versions (2)

<p>Towards the integration of rules and ontologies in the Semantic Web, we propose a combination of logic programming under the answer set semantics with the description logics <em>SHIF(D)</em> and <em>SHOIN(D)</em>, which underly the Web ontology languages OWL Lite and...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Eiter, T, Lukasiewicz, T, Schindlauer, R, Tompits, H
Fformat:	Conference item
Cyhoeddwyd:	AAAI Press 2004

Eitemau Tebyg

Combining answer set programming with description logics for the semantic Web
gan: Eiter, T, et al.
Cyhoeddwyd: (2008)

Combining Answer Set Programming with Description Logics for the Semantic Web
gan: Eiter, T, et al.
Cyhoeddwyd: (2008)

Well−Founded Semantics for Description Logic Programs in the Semantic Web
gan: Eiter, T, et al.
Cyhoeddwyd: (2004)

Well-Founded Semantics for Description Logic Programs in the Semantic Web
gan: Eiter, T, et al.
Cyhoeddwyd: (2011)

Well−founded Semantics for Description Logic Programs in the Semantic Web
gan: Eiter, T, et al.
Cyhoeddwyd: (2011)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
gan: Lukasiewicz, T
Cyhoeddwyd: (2010)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
gan: Lukasiewicz, T
Cyhoeddwyd: (2007)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
gan: Lukasiewicz, T
Cyhoeddwyd: (2010)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
gan: Lukasiewicz, T
Cyhoeddwyd: (2008)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
gan: Lukasiewicz, T
Cyhoeddwyd: (2006)

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2008)

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2008)

Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2007)

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2010)

Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web
gan: Calì, A, et al.
Cyhoeddwyd: (2007)

Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web
gan: Lukasiewicz, T
Cyhoeddwyd: (2008)

Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
gan: Calì, A, et al.
Cyhoeddwyd: (2009)

Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web.
gan: Calì, A, et al.
Cyhoeddwyd: (2009)

Top−k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2007)

Managing uncertainty and vagueness in description logics for the Semantic Web
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2008)

Managing Uncertainty and Vagueness in Description Logics for the Semantic Web
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2008)

Explanations for ontology-mediated query answering in description logics
gan: Ceylan, II, et al.
Cyhoeddwyd: (2020)

Abduction from Logic Programs: Semantics and Complexity
gan: Eiter, T, et al.
Cyhoeddwyd: (1997)

Probabilistic Description Logic Programs
gan: Lukasiewicz, T
Cyhoeddwyd: (2007)

Probabilistic Description Logic Programs
gan: Lukasiewicz, T
Cyhoeddwyd: (2005)

Preferential query answering in the semantic web with possibilistic networks
gan: Borgwardt, S, et al.
Cyhoeddwyd: (2016)

Preferential query answering in the semantic web with possibilistic networks
gan: Borgwardt, S, et al.
Cyhoeddwyd: (2016)

Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions
gan: Eiter, T, et al.
Cyhoeddwyd: (1997)

Semantic Techniques for the Web: The REWERSE Perspective
gan: Drabent, W, et al.
Cyhoeddwyd: (2009)

Tractable Probabilistic Description Logic Programs
gan: Lukasiewicz, T
Cyhoeddwyd: (2007)

Stratified Probabilistic Description Logic Programs
gan: Lukasiewicz, T
Cyhoeddwyd: (2005)

Description Logic Programs: Combining Logic Programs with Description Logic
gan: Grosof, Benjamin, et al.
Cyhoeddwyd: (2004)

Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
gan: Lukasiewicz, T
Cyhoeddwyd: (1999)

Tractable Probabilistic Description Logic Programs
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2013)

Generalized consistent query answering under existential rules
gan: Eiter, T, et al.
Cyhoeddwyd: (2016)

Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach
gan: M. Eugenia Cornejo, et al.
Cyhoeddwyd: (2020-06-01)

Stable Model Semantics for Guarded Existential Rules and Description Logics
gan: Gottlob, G, et al.
Cyhoeddwyd: (2014)

Equality−Friendly Well−Founded Semantics and Applications to Description Logics
gan: Gottlob, G, et al.
Cyhoeddwyd: (2012)

Equality−Friendly Well−Founded Semantics and Applications to Description Logics
gan: Gottlob, G, et al.
Cyhoeddwyd: (2012)

Fixpoint Characterizations for Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
gan: Lukasiewicz, T
Cyhoeddwyd: (2001)