• DocumentCode
    2305236
  • Title

    Formalisms for ontology validation

  • Author

    Kumanayaka, O.W.H. ; Ranasinghe, D.N.

  • Author_Institution
    Virtusa ATC, Colombo
  • fYear
    2007
  • fDate
    9-11 Aug. 2007
  • Firstpage
    285
  • Lastpage
    290
  • Abstract
    Ontology and its inferencing capabilities are critical for the modern semantic Web. Ontology validation is necessary due to the uncertainty of the description logic based inferences. Ontology validation should be independent of DL reasoners. To overcome this uncertainty of concepts and instances inference results, in this paper we describes some of the formal ontology validation methods based on the sequent logic and simple conceptual graphs.
  • Keywords
    Internet; graph theory; ontologies (artificial intelligence); program verification; semantic Web; conceptual graphs; description logic; formal ontology validation methods; semantic Web; sequent logic; Application software; Calculus; Information systems; Internet; Logic; Ontologies; Semantic Web; Software debugging; Uncertainty; Web services;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Industrial and Information Systems, 2007. ICIIS 2007. International Conference on
  • Conference_Location
    Penadeniya
  • Print_ISBN
    978-1-4244-1151-1
  • Electronic_ISBN
    978-1-4244-1152-8
  • Type

    conf

  • DOI
    10.1109/ICIINFS.2007.4579189
  • Filename
    4579189
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2305236