Fuzzy Description Logics with Concrete Domains

We present a fuzzy version of description logics with concrete domains. Interesting features are: (i) concept constructors are based on t-norm, t-conorm, negation and implication;(ii) concrete domains are fuzzy sets; (iii) fuzzy modifiers are allowed; and(iv) the reasoning algorithm is based on a mixture of completion rules and bounded mixed integer programming. Category: I.2.4: Artificial Intelligence: Knowledge Representation Formalisms and MethodsRepresentation languages

[1]  Didier Dubois.  Fuzzy sets and systems , 1980 .

[2]  Hector J. Levesque,et al.  The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.

[3]  Hector J. Levesque,et al.  Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..

[4]  H. P. Williams,et al.  Logic-Based Decision Support: Mixed Integer Model Formulation , 1989 .

[5]  Bernhard Nebel,et al.  Reasoning and Revision in Hybrid Representation Systems , 1990, Lecture Notes in Computer Science.

[6]  John Yen,et al.  Generalizing Term Subsumption Languages to Fuzzy Logic , 1991, IJCAI.

[7]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[8]  Christopher Tresp,et al.  A Description Logic for Vague Knowledge , 1998, ECAI.

[9]  CARLO MEGHINI,et al.  A model of multimedia information retrieval , 2001, JACM.

[10]  Reiner Hähnle,et al.  Advanced Many-Valued Logics , 2001 .

[11]  Umberto Straccia,et al.  Reasoning within Fuzzy Description Logics , 2011, J. Artif. Intell. Res..

[12]  Carsten Lutz,et al.  Description Logics with Concrete Domains-A Survey , 2002, Advances in Modal Logic.

[13]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[14]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[15]  Daniel Sánchez,et al.  Generalizing Quantification in Fuzzy Description Logics , 2004, Fuzzy Days.

[16]  Nguyen Hoang Nga,et al.  The Subsumption Problem of the Fuzzy Description Logic ALCFH , 2004 .

[17]  Umberto Straccia,et al.  Transforming Fuzzy Description Logics into Classical Description Logics , 2004, JELIA.

[18]  Umberto Straccia,et al.  Towards a Fuzzy Description Logic for the Semantic Web (Preliminary Report) , 2005, ESWC.