activity
20072024
most citedMapping the Object-Role Modeling language ORM2 into Description Logic language DLRifd

25 citations · 50 across the 11 of their papers we have counts for

collaborators

11 papers

cs.AI2024

Discerning and Characterising Types of Competency Questions for Ontologies

C. Maria Keet, Zubeida Casmod Khan

Competency Questions (CQs) are widely used in ontology development by guiding, among others, the scoping and validation stages. However, very limited guidance exists for formulatin…

cs.DB2024

The temporal conceptual data modelling language TREND

Sonia Berman, C. Maria Keet, Tamindran Shunmugam

Temporal conceptual data modelling, as an extension to regular conceptual data modelling languages such as EER and UML class diagrams, has received intermittent attention across th…

cs.CL2023

CoSMo: A constructor specification language for Abstract Wikipedia's content selection process

Kutz Arrieta, Pablo R. Fillottrani, C. Maria Keet

Representing snippets of information abstractly is a task that needs to be performed for various purposes, such as database view specification and the first stage in the natural la…

physics.flu-dyn2022★ 13 cited

Three-Dimensional Printed Liquid Diodes with Tunable Velocity: Design Guidelines and Applications for Liquid Collection and Transport

Camilla Sammartino, Michael Rennick, Halim Kusumaatmaja +1

Directional and self-propelled flow in open channels has a variety of applications, including microfluidic and medical devices, industrial filtration processes, fog-harvesting and…

cs.AI2019★ 2 cited

The African Wildlife Ontology tutorial ontologies: requirements, design, and content

C Maria Keet

Background. Most tutorial ontologies focus on illustrating one aspect of ontology development, notably language features and automated reasoners, but ignore ontology development fa…

cs.AI2018

More Effective Ontology Authoring with Test-Driven Development

C. Maria Keet, Kieren Davies, Agnieszka Lawrynowicz

Ontology authoring is a complex process, where commonly the automated reasoner is invoked for verification of newly introduced changes, therewith amounting to a time-consuming test…