Welcome to the InfoSci Platform
Reference Hub1
From Semi-Formal Models to Formal Models

From Semi-Formal Models to Formal Models

Michel Héon, Gilbert Paquette
Copyright: © 2010 |Pages: 24
ISBN13: 9781615208395|ISBN10: 1615208399|ISBN13 Softcover: 9781616923235|EISBN13: 9781615208401
DOI: 10.4018/978-1-61520-839-5.ch014
Cite Chapter Cite Chapter

MLA

Gilbert Paquette. "From Semi-Formal Models to Formal Models." Visual Knowledge Modeling for Semantic Web Technologies: Models and Ontologies, IGI Global, 2010, pp.278-301. https://doi.org/10.4018/978-1-61520-839-5.ch014

APA

G. Paquette (2010). From Semi-Formal Models to Formal Models. IGI Global. https://doi.org/10.4018/978-1-61520-839-5.ch014

Chicago

Gilbert Paquette. "From Semi-Formal Models to Formal Models." In Visual Knowledge Modeling for Semantic Web Technologies: Models and Ontologies. Hershey, PA: IGI Global, 2010. https://doi.org/10.4018/978-1-61520-839-5.ch014

Export Reference

Mendeley
Favorite

Abstract

Ontological engineering is a methodology that proposes various processes for constructing ontologies (Corcho, Fernández-López, & Gómez- Pérez, 2006; Davies, Fensel, & Harmelen, 2003; Dietz, 2006; Gaševic, Djuric, & Devedžic, 2006; Gómez-Pérez, Fernández-López, & Corcho, 2003; T. Gruber, 1993; Guarino, 1997; Horridge, Knub lauch, Rector, Stevens, & Wroe, 2004; Uschold & Gruninger, 1996). Such a process begins with a knowledge elicitation step for the target domain based on the services that the ontology is expected to provide. This step allows for the identification and structuring of the domain’s knowledge through documentation and consultation with experts. The next step involves the formalization of knowledge into an ontology. Ontologies can afterwards be processed by software agents using inference engines to deduce facts that were not provided by constructor of the model. The final step, validation, ensures that the ontology is effective in accounting for all useful knowledge needed to satisfy the original objectives.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.