• DocumentCode
    3169979
  • Title

    Construction of Ontology formalized model

  • Author

    Qin, Qing ; Zhang, Lei

  • Author_Institution
    Network Manage. Center, Zhe Jiang PAP Corps, Hangzhou, China
  • fYear
    2011
  • fDate
    8-10 Aug. 2011
  • Firstpage
    268
  • Lastpage
    269
  • Abstract
    Formalization of Ontology is one of the hotspot and difficulty in the study of Ontology. For the order sorted logic can better reflect the different understanding of the natural language, it is in favor of the formal reasoning of Ontology. So construct an Ontology formalized model using the order sorted logic. It has an important practical significance for the realization of automatic web resources processing.
  • Keywords
    formal logic; natural languages; ontologies (artificial intelligence); automatic Web resources processing; formal reasoning; natural language; ontology formalized model; order sorted logic; Birds; Cognition; Computers; Ontologies; Semantics; ontology; ontology model; order sorted logic; predication;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Artificial Intelligence, Management Science and Electronic Commerce (AIMSEC), 2011 2nd International Conference on
  • Conference_Location
    Deng Leng
  • Print_ISBN
    978-1-4577-0535-9
  • Type

    conf

  • DOI
    10.1109/AIMSEC.2011.6010390
  • Filename
    6010390
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3169979