( en | de | ru )

 

Disambiguation of "Stephen, Shirly"

Author of the publication

copydeleteadd this publication to your clipboard
Model-Finding for Externally Verifying FOL Ontologies: A Study of Spatial Ontologies.

, and . FOIS, volume 330 of Frontiers in Artificial Intelligence and Applications, page 233-248. IOS Press, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Shirly Daniel

Shirly Widjaja

Stephen Cochrane

Stephen Mamphey

Stephen Riedel

 

Other publications of authors with the same name

A Pattern for Representing Scientific Taxonomies., , , , , and . WOP@ISWC, volume 3352 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Providing Humanitarian Relief Support through Knowledge Graphs., , , , , , , , , and 2 other author(s). K-CAP, page 285-288. ACM, (2021)Environmental Observations in Knowledge Graphs., , , , , , , , and . DaMaLOS, page 1-11. (2021)Model-Finding for Externally Verifying FOL Ontologies: A Study of Spatial Ontologies., and . FOIS, volume 330 of Frontiers in Artificial Intelligence and Applications, page 233-248. IOS Press, (2020)An Ontological Framework for Characterizing Hydrological Flow Processes., and . COSIT, volume 86 of LIPIcs, page 7:1-7:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)The KnowWhereGraph Ontology: A Showcase., , , , , , , , , and 10 other author(s). JOWO, volume 3637 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets., and . AAAI, page 10039-10040. AAAI Press, (2019)Swiss Canton Regions: A Model for Complex Objects in Geographic Partitions., , , , and . COSIT, volume 9368 of Lecture Notes in Computer Science, page 309-330. Springer, (2015)The Expertise Ontology: Modeling Expertise in the Context of Emergency Management., , , , , , , , , and 5 other author(s). JOWO, volume 3637 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Formal Qualitative Spatial Augmentation of the Simple Feature Access Model., and . COSIT, volume 142 of LIPIcs, page 15:1-15:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)