You are here
a logical framework that allows the composition of multiple theories (contexts) via a set of intra-theory axioms called bridge rules.
Constructive description logics
A theory for the integration of multiple knowledge bases represented in Description Logics
Contextualized Knowledge Repository
Tools and environments
An extensible tool for building stream-oriented RDF processing pipelines
A scalable, fault-tolerant, and Semantic Web grounded open-source storage system for interlinking structured and unstructured data
A Latex-Style Syntax for authoring OWL 2 ontologies
Distributed reasoning architecture for multiple heterogeneous ontologies
A knowldege-based system for the understanding of picture content.
Resources related to the evaluation of a MoKi customization
Resources related to the evaluation of MoKi's collaborative features
Questionnaires for the evaluation of business process semantic annotations.
Semantic web resources
The repository of senses is a resource that complements FrameNet.
OWL representation of International Classification of Diseases
An ontology for personalized environmental decision support
OWL representation of Clinical Mappings between International Classification of Primary Care and International Classification of Diseases
BPMN Related Resources
OWL representation of the administrative and geographical information about the Province of Trento
OWL representation of International Classification of Primary Care
Here you can find some DKMers Technical Reports
Implements the Contextualized Knowledge Repository (CKR)