Alan Ruttenberg
Alan Ruttenberg
The definition given in the OWL file is: "A material entity which is clinically abnormal and part of an extended organism. Disorders are the physical basis of disease. " The...
Current definition seems to limit it to statements about qualities. Should include other kinds of statements, such as about processes (disease processes, for instance) or times (when started losing hair,...
RDF/XML diffs aren't stable or informative in many cases. Alternatives: 1) Try Functional Syntax saving instead 2) Use a hook, e.g. > Git hook: post-merge > This hook is invoked...
Hi, I extended cl-yacc to add syntax for repetitions, alternates, and optionals. If you are willing, I'd appreciate you doing a review and seeing whether it might be something to...
Thanks for cl-yacc! I've used to write a parser for the input prover9, a theorem prover, uses. This issue regards debuggability. Currently for actions in define-parser currently a function needs...
Several of the reasoners allow inclusion of (a subset of) SWRL rules, implemented as DL-safe rules. It would be very nice to be able to include such rules in the...
We discussed this but I'm putting it in an issue to track. While templates (simple substitution) is adequate for many cases of abbreviating there are also cases where simple substitution...
In my own authoring with LSW I've found it useful to define 'label sources'. The simplest label source is one or more ontologies. To say a list of ontologies is...
Having something like #include would be useful. For example prefixes and labels could be factored out and #included in more than one project.
Werner Ceusters points one out ``` (cl:comment "quality, realizable-entity are mutually disjoint [ksk-1]" (and (not (exists (x t) (and (instance-of x quality t) (instance-of x realizable-entity t)))))) ``` It's possible...