Title :
Construction of Ontology formalized model
Author :
Qin, Qing ; Zhang, Lei
Author_Institution :
Network Manage. Center, Zhe Jiang PAP Corps, Hangzhou, China
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;
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
DOI :
10.1109/AIMSEC.2011.6010390
