Formal Language Decomposition into Semantic Primes

This paper describes an algorithm for semantic decomposition. For that we surveys languages used to enrich contextual information with semantic descriptions. Such descriptions can be e.g. applied to enable reasoning when collecting vast amounts of information. In particular, we focus on the elements of the languages that make up their semantic. To do so, we compare the expressiveness of the well-known languages OWL, PDDL and MOF with a theory from linguistic called the Natural Semantic Metalanguage. We then analyze how the semantic of the language is build up and describe how semantic decomposition based on the semantic primes can be used for a so called mental lexicon. This mental lexicon can be used to reason upon semantic service description in the research domain of service match making.

[1]  K. Ruiz-Mirazo,et al.  A Universal Definition of Life: Autonomy and Open-Ended Evolution , 2004, Origins of life and evolution of the biosphere.

[2]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[3]  D. McDermott,et al.  The Formal Semantics of Processes in PDDL , 2003 .

[4]  Ian Horrocks,et al.  Fuzzy OWL: Uncertainty and the Semantic Web , 2005, OWLED.

[5]  Giandomenico Sica Open Problems in Linguistics and Lexicography , 2007 .

[6]  K. Baclawski,et al.  Category Theoretic Approaches of Representing Precise UML Semantics , 2000 .

[7]  Bert Peeters Semantic and lexical universals in French , 1994 .

[8]  Maria Bittner,et al.  Cross-linguistic semantics , 1994 .

[9]  Michel Gendreau,et al.  Hyper-heuristics: a survey of the state of the art , 2013, J. Oper. Res. Soc..

[10]  B. Schutter,et al.  Fuzzy Decision Support Systemen: Versie 1.3 , 2000 .

[11]  Daniel Moldt,et al.  Goal Representation for BDI Agent Systems , 2004, PROMAS.

[12]  Cliff Goddard Semantic molecules and semantic complexity (with special reference to " environmental" molecules) , 2010 .

[13]  R. Sternberg Beyond IQ: A Triarchic Theory of Human Intelligence , 1984 .

[14]  Harry Chen,et al.  An ontology for context-aware pervasive computing environments , 2003, The Knowledge Engineering Review.

[15]  Igor Mel’čuk,et al.  Lexical functions and lexical inheritance for emotion lexemes in German , 1996 .

[16]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[17]  Avigdor Gal,et al.  Automatic Ontology Matching Using Application Semantics , 2005, AI Mag..

[18]  Boris Motik,et al.  OWL 2: The next step for OWL , 2008, J. Web Semant..

[19]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[20]  Susan E. Brennan,et al.  The Grounding Problem in Conversations With and Through Computers , 2000 .

[21]  George J. Klir,et al.  Fuzzy sets and fuzzy logic - theory and applications , 1995 .

[22]  Andrew U. Frank,et al.  Encyclopedia of Database Systems Entry : Simplicial Complex draft 1 Entry : Simplicial Complex , 2008 .

[23]  Sahin Albayrak,et al.  Self-Explaining Agents , 2013 .

[24]  Marco Colombetti,et al.  An analysis of agent speech acts as institutional actions , 2002, AAMAS '02.

[25]  Irene Heim,et al.  Decomposing Antonyms? , 2008 .

[26]  Vilém Novák,et al.  Antonyms and linguistic quantifiers in fuzzy logic , 2001, Fuzzy Sets Syst..

[27]  Jadwiga Indulska,et al.  Modelling and using imperfect context information , 2004, IEEE Annual Conference on Pervasive Computing and Communications Workshops, 2004. Proceedings of the Second.

[28]  Jean-Marie Favre,et al.  Towards a Basic Theory to Model Model Driven Engineering , 2004 .

[29]  Elizabeth Walter,et al.  Cambridge advanced learner's dictionary , 2005 .

[30]  Dana S. Nau,et al.  On the Complexity of Blocks-World Planning , 1992, Artif. Intell..

[31]  Ricardo Mairal Usón,et al.  Decomposing semantic decomposition : Towards a semantic metalanguage in RRG 1 , 2005 .

[32]  A. Wierzbicka Semantics: Primes and Universals , 1996 .

[33]  Dan Brickley,et al.  Resource Description Framework (RDF) Model and Syntax Specification , 2002 .

[34]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[35]  Grigoris Antoniou,et al.  A Survey of Semantics-Based Approaches for Context Reasoning in Ambient Intelligence , 2007, AmI Workshops.

[36]  Ladan Tahvildari,et al.  Self-adaptive software: Landscape and research challenges , 2009, TAAS.