Zobrazeno 1 - 4
of 4
pro vyhledávání: '"J.M. Heguiabehere"'
Publikováno v:
Logic Journal of the IGPL, 9(3), 411-445
Dynamic First Order Logic (DFOL) results from interpreting quantification over a variable v as change of valuation over the v position, conjunction as sequential composition, disjunction as non-deterministic choice, and negation as (negated) test for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dbbc2e0b063544421ee9d09542199425
https://doi.org/10.1093/jigpal/9.3.411
https://doi.org/10.1093/jigpal/9.3.411
Autor:
Caterina Caracciolo, Claudio Baldassarre, Johannes Keizer, J.M. Heguiabehere, Aldo Gangemi, Marc Taconet
Publikováno v:
Ontology Engineering in a Networked World ISBN: 9783642247934
Ontology Engineering in a Networked World
Ontology Engineering in a Networked World, edited by Suárez-Figueroa, M.C.; Gómez-Pérez, A.; Motta, E.; Gangemi, A.. Berlin Heidelberg: Springer, 2012
info:cnr-pdr/source/autori:Caterina Caracciolo, Juan Heguiabehere, Aldo Gangemi, Claudio Baldassarre, Johannes Keizer, and Marc Taconet/titolo:Knowledge Management at FAO: A Case Study on Network of Ontologies in Fisheries/titolo_volume:Ontology Engineering in a Networked World/curatori_volume:Suárez-Figueroa, M.C.; Gómez-Pérez, A.; Motta, E.; Gangemi, A./editore: /anno:2012
Ontology Engineering in a Networked World
Ontology Engineering in a Networked World, edited by Suárez-Figueroa, M.C.; Gómez-Pérez, A.; Motta, E.; Gangemi, A.. Berlin Heidelberg: Springer, 2012
info:cnr-pdr/source/autori:Caterina Caracciolo, Juan Heguiabehere, Aldo Gangemi, Claudio Baldassarre, Johannes Keizer, and Marc Taconet/titolo:Knowledge Management at FAO: A Case Study on Network of Ontologies in Fisheries/titolo_volume:Ontology Engineering in a Networked World/curatori_volume:Suárez-Figueroa, M.C.; Gómez-Pérez, A.; Motta, E.; Gangemi, A./editore: /anno:2012
In this chapter, we illustrate the work conducted at the Food and Agriculture Organization of the United Nations (FAO) with the creation of a network of ontologies about fisheries, developed with NeOn technologies and methodologies. The network inclu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e40dbadf693436b77b9c3dd2cd0e2d4
https://doi.org/10.1007/978-3-642-24794-1_18
https://doi.org/10.1007/978-3-642-24794-1_18
Publikováno v:
Metadata and Semantic Research ISBN: 9783642045899
MTSR
MTSR
In this paper we report on ongoing work concerning the creation of a network of ontologies based on metadata for time series relative to the domain of fisheries, and hint at the possibility of exploiting the network for web service applications. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3ad1ec4ce87e61ad67773d3a04d563e8
https://doi.org/10.1007/978-3-642-04590-5_29
https://doi.org/10.1007/978-3-642-04590-5_29
Autor:
Carlos Areces, J.M. Heguiabehere
Publikováno v:
Automated Deduction—CADE-18 ISBN: 9783540439318
CADE
CADE
Hybrid languages are modal languages that allow direct reference to the elements of a model. Even the basic hybrid language \( {\text{(}}\mathcal{H}{\text{(@))}} \), which only extends the basic modal language with the addition of nominals (i,j, k,..
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::52dfa6f69b282d6bf5746ddebe8c0067
https://hal.inria.fr/inria-00000322
https://hal.inria.fr/inria-00000322