◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

David Carral

9 papers here

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author3
  • middle author6

Across the 9 of 9 papers where every author was matched, so the position is known.

fields
  • cs.LO4
  • cs.AI3
  • cs.DB2

identity via Semantic Scholar / OpenAlex

activity
20172022
most citedDeciding Hyperproperties Combined with Functional Specifications

13 citations · 18 across the 3 of their papers we have counts for

collaborators
Showing cs.AIShow all

3 papers · 1 filter

cs.AI2018

Rule-based OWL Modeling with ROWLTab Protege Plugin

Md. Kamruzzaman Sarker, Adila Krisnadhi, David Carral +1

It has been argued that it is much easier to convey logical statements using rules rather than OWL (or description logic (DL)) axioms. Based on recent theoretical developments on t…

cs.AI2018

Modeling OWL with Rules: The ROWL Protege Plugin

Md. Kamruzzaman Sarker, David Carral, Adila A. Krisnadhi +1

In our experience, some ontology users find it much easier to convey logical statements using rules rather than OWL (or description logic) axioms. Based on recent theoretical devel…

cs.AI2017★ 4 cited

On the Ontological Modeling of Trees

David Carral, Pascal Hitzler, Hilmar Lapp +1

Trees -- i.e., the type of data structure known under this name -- are central to many aspects of knowledge organization. We investigate some central design choices concerning the…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.