The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Logical Connections of Statements at the Ontological Level
Abstract
In the classical formal logics, the negation can only be applied to formulas, not to terms and predicates. In (frame-based) knowledge representation, an ontology contains descriptions of individuals, concepts and slots, that is statements about individuals, concepts and slots. The negation can be applied to slots, concepts and statements, so that the logical implication should be considered for all possible combinations of individuals, concepts, slots and statements. In this regard, the logical implication at the ontological level is different from that at the logical level. This paper attempts to give such logical implications between individuals, concepts, slots, statements and their negations.
Related Content
|
Emmanuelle Reuter.
© 2025.
36 pages.
|
|
Maria Luisa Mendes Teixeira, Klaus Boehnke, Sarah Santos Alves.
© 2025.
24 pages.
|
|
Rosana Yasue Narazaki, Silvio Popadiuk, Ricardo Gouveia Rodrigues.
© 2025.
22 pages.
|
|
Ronaldo Gomes Dultra de-Lima, Yen-Tsang Chen, José Carlos Tiomatsu Oyadomari, Octavio Ribeiro Mendonça Neto.
© 2025.
36 pages.
|
|
Davi Jônatas Cunha Araújo, Isabel-María García-Sánchez, Saudi Yulieth Enciso Alfaro.
© 2025.
28 pages.
|
|
Michele Nascimento Jucá, Polona Domadenik Muren.
© 2025.
22 pages.
|
|
Liliane Segura, Abu Naser, Rute Abreu.
© 2025.
14 pages.
|
|
|