A Logical Semantics for Description Logic Programs

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15675-5_15 ◽

2010 ◽

pp. 156-168 ◽

Author(s):

Michael Fink ◽

David Pearce

Keyword(s):

Description Logic ◽

Logic Programs ◽

Logical Semantics

Download Full-text

Description logic programs under probabilistic uncertainty and fuzzy vagueness

International Journal of Approximate Reasoning ◽

10.1016/j.ijar.2009.03.004 ◽

2009 ◽

Vol 50 (6) ◽

pp. 837-853 ◽

Author(s):

Thomas Lukasiewicz ◽

Umberto Straccia

Keyword(s):

Description Logic ◽

Logic Programs ◽

Probabilistic Uncertainty

Download Full-text

Fuzzy Description Logic Programs

Uncertainty and Intelligent information Systems ◽

10.1142/9789812792358_0029 ◽

2008 ◽

pp. 405-418 ◽

Author(s):

Umberto Straccia

Keyword(s):

Description Logic ◽

Logic Programs ◽

Fuzzy Description

Download Full-text

Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74610-2_30 ◽

2007 ◽

pp. 428-429 ◽

Author(s):

Andrea Calì ◽

Thomas Lukasiewicz

Keyword(s):

Semantic Web ◽

Description Logic ◽

Logic Programs ◽

Probabilistic Description

Download Full-text

Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web

Lecture Notes in Computer Science - Journal on Data Semantics XII ◽

10.1007/978-3-642-00685-2_4 ◽

2009 ◽

pp. 95-130 ◽

Author(s):

Andrea Calì ◽

Thomas Lukasiewicz ◽

Livia Predoiu ◽

Heiner Stuckenschmidt

Keyword(s):

Semantic Web ◽

Description Logic ◽

Logic Programs ◽

Probabilistic Description ◽

Tightly Coupled

Download Full-text

Learnability of Description Logic Programs

Inductive Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-36468-4_8 ◽

2003 ◽

pp. 117-132 ◽

Author(s):

Kietz Jörg-Uwe

Keyword(s):

Description Logic ◽

Download Full-text

A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic Programs

Computational Logic — CL 2000 - Lecture Notes in Computer Science ◽

10.1007/3-540-44957-4_52 ◽

2000 ◽

pp. 777-791 ◽

Author(s):

Vincenzo Pallotta

Keyword(s):

Logic Programs ◽

Normal Logic ◽

Logical Semantics

Download Full-text

Description logic programs

Proceedings of the twelfth international conference on World Wide Web - WWW '03 ◽

10.1145/775152.775160 ◽

2003 ◽

Author(s):

Benjamin N. Grosof ◽

Ian Horrocks ◽

Raphael Volz ◽

Stefan Decker

Keyword(s):

Description Logic ◽

Download Full-text

Exploiting conjunctive queries in description logic programs

Annals of Mathematics and Artificial Intelligence ◽

10.1007/s10472-009-9111-3 ◽

2008 ◽

Vol 53 (1-4) ◽

pp. 115-152 ◽

Author(s):

Thomas Eiter ◽

Giovambattista Ianni ◽

Thomas Krennwallner ◽

Roman Schindlauer

Keyword(s):

Description Logic ◽

Logic Programs ◽

Conjunctive Queries

Download Full-text

Chapter 7 Uncertainty and description logic programs over lattices

Fuzzy Logic and the Semantic Web - Capturing Intelligence ◽

10.1016/s1574-9576(06)80009-2 ◽

2006 ◽

pp. 115-133 ◽

Author(s):

Umberto Straccia

Keyword(s):

Description Logic ◽

Download Full-text

f-DLPs: Extending Description Logic Programs with Fuzzy Sets and Fuzzy Logic

2007 IEEE International Fuzzy Systems Conference ◽

10.1109/fuzzy.2007.4295599 ◽

2007 ◽

Author(s):

Tassos Venetis ◽

Giorgos Stoilos ◽

Giorgos Stamou ◽

Stefanos Kollias

Keyword(s):

Fuzzy Logic ◽

Description Logic ◽

Download Full-text