Sciweavers

1436 search results - page 30 / 288
» Description Logic Unplugged
Sort
View
SAC
2008
ACM
14 years 9 months ago
Using simplified event calculus in digital investigation
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
Svein Yngvar Willassen
DLOG
2004
14 years 11 months ago
Sonic: System Description
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics that can be used via a graphical user interface. In addition to that our implementat...
Anni-Yasmin Turhan, Christian Kissig
MEDINFO
2007
130views Healthcare» more  MEDINFO 2007»
14 years 11 months ago
What's in a code? Towards a Formal Account of the Relation of Ontologies and Coding Systems
Terminologies are increasingly based on “ontologies” developed in description logics and related languages such as the new Web Ontology Language, OWL. The use of description l...
Alan L. Rector
CADE
2009
Springer
15 years 2 months ago
System Description: H-PILoT
Carsten Ihlemann, Viorica Sofronie-Stokkermans