Sciweavers

1512 search results - page 89 / 303

» Description Logic Terminology

24

DLOG
2009

82views Automated Reasoning» more DLOG 2009»

Unification in the Description Logic EL

13 years 11 months ago

Unification in the Description Logic EL

Download web2.clarkson.edu

Franz Baader, Barbara Morawska

claim paper

Read More »

14

ENTCS
2010

119views more ENTCS 2010»

Coalition Description Logic with Individuals

13 years 10 months ago

Coalition Description Logic with Individuals

Download www2.in.tu-clausthal.de

Inanç Seylan, Wojciech Jamroga

claim paper

Read More »

29

FUIN
2008

116views more FUIN 2008»

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web

13 years 10 months ago

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web

Download 2006.ruleml.org

Thomas Lukasiewicz

claim paper

Read More »

29

IA
2006

72views more IA 2006»

Ontologies and Description Logics

13 years 10 months ago

Ontologies and Description Logics

Download www.loria.fr

Diego Calvanese, Nicola Guarino

claim paper

Read More »

29

JAR
2008

77views more JAR 2008»

Data Complexity of Query Answering in Expressive Description Logics via Tableaux

13 years 10 months ago

Data Complexity of Query Answering in Expressive Description Logics via Tableaux

Download www.inf.unibz.it

Magdalena Ortiz, Diego Calvanese, Thomas Eiter

claim paper

Read More »

« Prev « First page 89 / 303 Last » Next »