A Description Logic for InferenceNet.Br

The InferenceNet.Br is a new linguistic resource for Portuguese language knowledge bases, which follows some principles of the WordNet, ConceptNet and FrameNet. Unlike these other linguistic resources, InferenceNet.Br allows representation of more expressive relationships between concepts, permitting to characterize premises or conclusions of these relationships. However, the integration between InferenceNet.Br with other linguistic resources is not possible directly. In order to settle this problem, in this paper we present a mapping of the knowledge bases of InferenceNet.Br to the Description Logic DL-LiteA, which is a fragment of OWL. As we know, OWL is a standard language designed to facilitate machine interpretability of Web content, through explicitly representation of the meaning of concepts in vocabularies and relationships between them. By doing this, we provide a connection between InferenceNet.Br and resources as WordNet and ConceptNet, since there are some efforts to link them to OWL.

[1]  Dieter Hutter,et al.  Mechanizing Mathematical Reasoning , 2008 .

[2]  Maria Margarida Martins Salomão,et al.  FrameNet Brasil: um trabalho em progresso , 2009 .

[3]  Ruslan Mitkov,et al.  The Oxford handbook of computational linguistics , 2003 .

[4]  Henry Lieberman,et al.  Can Common Sense uncover cultural differences in computer applications? , 2006, IFIP AI.

[5]  George A. Miller,et al.  WordNet: A Lexical Database for English , 1995, HLT.

[6]  Ariani Di Felippo,et al.  Methods and Tools for Encoding the WordNet.Br Sentences, Concept Glosses, and Conceptual-Semantic Relations , 2006, PROPOR.

[7]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[8]  Xiao-xi Huang,et al.  An OWL-based WordNet lexical ontology , 2007 .

[9]  Vladia Pinheiro,et al.  InferenceNet.Br: Expression of Inferentialist Semantic Content of the Portuguese Language , 2010, PROPOR.

[10]  Vladia Pinheiro,et al.  SIM: um modelo semântico-inferencialista para sistemas de linguagem natural , 2008, WebMedia.

[11]  John B. Lowe,et al.  The Berkeley FrameNet Project , 1998, ACL.

[12]  Erick Galani Maziero,et al.  A base de dados lexical e a interface web do TeP 2.0: thesaurus eletrônico para o Português do Brasil , 2008, WebMedia.

[13]  Diego Calvanese,et al.  Ontologies and Databases: The DL-Lite Approach , 2009, Reasoning Web.

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

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

[16]  Diego Calvanese,et al.  Expressive Approximations in DL-Lite Ontologies , 2010, AIMSA.

[17]  Diego Calvanese,et al.  The DL-Lite Family and Relations , 2009, J. Artif. Intell. Res..

[18]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[19]  Francesco Piazza,et al.  Towards an RDF Encoding of ConceptNet , 2011, ISNN.

[20]  John Domingue,et al.  Artificial Intelligence: Methodology, Systems, and Applications, 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings , 2006, AIMSA.

[21]  Frank van Harmelen,et al.  A semantic web primer , 2004 .

[22]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[23]  Thiago Alexandre Salgueiro Pardo,et al.  Computational Processing of the Portuguese Language - 11th International Conference, PROPOR 2014, São Carlos/SP, Brazil, October 6-8, 2014. Proceedings , 2014, Lecture Notes in Computer Science.

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

[25]  Nuno Seco,et al.  PAPEL: A lexical ontology for Portuguese , 2008 .

[26]  Hugo Liu,et al.  ConceptNet — A Practical Commonsense Reasoning Tool-Kit , 2004 .

[27]  Ian Horrocks,et al.  Description Logics as Ontology Languages for the Semantic Web , 2005, Mechanizing Mathematical Reasoning.