reasoning with DCAT

Sorry, this doesn't really fit into one single github issue.

One sentence in the use case about relaxing axiomatization concerns me. 
I know we just voted on it, but I didn't get to read it carefully until 
just now. We are saying "...we are not aware of any catalogs in which 
reasoning is an important part of their operation."

That statement worries me, since part of the potential value of a 
vocabulary is to enable reasoning if someone wants to build an 
application that does that. I may even have a counterexample use case. 
I've been working on an application that works on log data from 
supercomputing systems, where the various log files are described using 
DCAT. We have logs for a wide variety of subsystems, like networking, 
node operation, job scheduling, boot cycles, etc. We want to be able to 
reason about relationships between these different log sets (e.g., if a 
network link went down, we want to find log data about the nodes on the 
ends of that link.) At this point, I'm not sure that our use case 
requires us to keep stricter axiomatization than the group is planning 
to preserve, but it's probably worth thinking through.

-Annette

-- 
Annette Greiner
NERSC Data and Analytics Services
Lawrence Berkeley National Laboratory

Received on Tuesday, 20 March 2018 22:19:25 UTC