Combining Answer Set Programming with Description Logics for the Semantic Web

Combining Answer Set Programming with Description Logics for the Semantic Web

Taispeáin leaganacha eile (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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Eiter, T, Lukasiewicz, T, Schindlauer, R, Tompits, H
Formáid:	Conference item
Foilsithe / Cruthaithe:	AAAI Press 2004

Míreanna comhchosúla

Combining answer set programming with description logics for the semantic Web
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2008)

Combining Answer Set Programming with Description Logics for the Semantic Web
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2008)

Well−Founded Semantics for Description Logic Programs in the Semantic Web
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2004)

Well-Founded Semantics for Description Logic Programs in the Semantic Web
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2011)

Well−founded Semantics for Description Logic Programs in the Semantic Web
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2011)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2010)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2007)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2010)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2008)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2006)

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2008)

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2008)

Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2007)

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2010)

Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2007)

Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2008)

Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2009)

Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web.
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2009)

Top−k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2007)

Managing uncertainty and vagueness in description logics for the Semantic Web
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2008)

Managing Uncertainty and Vagueness in Description Logics for the Semantic Web
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2008)

Explanations for ontology-mediated query answering in description logics
de réir: Ceylan, II, et al.
Foilsithe / Cruthaithe: (2020)

Abduction from Logic Programs: Semantics and Complexity
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (1997)

Probabilistic Description Logic Programs
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2007)

Probabilistic Description Logic Programs
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2005)

Preferential query answering in the semantic web with possibilistic networks
de réir: Borgwardt, S, et al.
Foilsithe / Cruthaithe: (2016)

Preferential query answering in the semantic web with possibilistic networks
de réir: Borgwardt, S, et al.
Foilsithe / Cruthaithe: (2016)

Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (1997)

Semantic Techniques for the Web: The REWERSE Perspective
de réir: Drabent, W, et al.
Foilsithe / Cruthaithe: (2009)

Tractable Probabilistic Description Logic Programs
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2007)

Stratified Probabilistic Description Logic Programs
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2005)

Description Logic Programs: Combining Logic Programs with Description Logic
de réir: Grosof, Benjamin, et al.
Foilsithe / Cruthaithe: (2004)

Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (1999)

Tractable Probabilistic Description Logic Programs
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2013)

Generalized consistent query answering under existential rules
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2016)

Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach
de réir: M. Eugenia Cornejo, et al.
Foilsithe / Cruthaithe: (2020-06-01)

Stable Model Semantics for Guarded Existential Rules and Description Logics
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2014)

Equality−Friendly Well−Founded Semantics and Applications to Description Logics
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2012)

Equality−Friendly Well−Founded Semantics and Applications to Description Logics
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2012)

Fixpoint Characterizations for Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2001)