Formal Logic Model
(Redirected from Formal logic model)
See: Formal Model, Logic Model, Ontology, OWL Model, Model Checking Task.
References
2002
- (Chella et al., 2002) ⇒ Antonio Chella, Massimo Cossentino, Roberto Pirrone, and Andrea Ruisi. (2002). “Modeling Ontologies for Robotic Environments.” In: Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering. doi:10.1145/568760.568775
- An Ontology can be defined as a formally specified model of bodies of knowledge defining the concepts used to describe a domain and the relations that hold between them.