• PROMPT

  • Referenced in 9 articles [sw09801]
  • domains. In order for these ontologies to be reused, they first need to be merged ... suite of tools for managing multiple ontologies. These suite provides users with a uniform framework...
  • CommonKADS

  • Referenced in 29 articles [sw01531]
  • based system (KBS) development. To enhance flexible reuse, these models can be broken down into ... components, containing artificial problem solving methods and ontologies of domain models. A library of these...
  • NeOn

  • Referenced in 1 article [sw19452]
  • Ontology Dynamics, Ontology Evaluation, Ontology Matching, Reasoning and Inference, Reuse...
  • ROMULUS

  • Referenced in 1 article [sw33115]
  • features of six foundational ontologies, tailor-made modules for easier reuse, and a catalogue ... among the BFO, GFO and DOLCE foundational ontologies...
  • Celows

  • Referenced in 1 article [sw08868]
  • CelOWS: An ontology based framework for the provision of semantic web services related to biological ... computational modeling needs accurate description to share, reuse and simulate models as formulated by original ... this paper, we introduce the Cell Component Ontology (CelO), expressed in OWL-DL. This ontology ... properties of functional components. We use this ontology in a Web project (CelOWS) to describe...
  • Pomelo II

  • Referenced in 3 articles [sw35617]
  • biological information and annotations (PubMed references, Gene Ontology terms, KEGG and Reactome pathways) are available ... code is available, allowing for extending and reusing the software. A comprehensive test suite...
  • RDFG

  • Referenced in 1 article [sw00787]
  • methods for preparing RDF documents such as ontology based semantics matching system to detect ... realize the web entities creating, sharing and reusing...
  • Phylotastic

  • Referenced in 0 articles [sw27487]
  • flexible manner, thus facilitating the reuse of phylogenetic knowledge. An evolutionary biology workflow ... need to integrate preferences and formal ontologies in the description of the desired workflow, evolutionary...
  • Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • HasCasl

  • Referenced in 17 articles [sw00399]
  • HasCasl: integrated higher-order specification and program development...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • WordNet

  • Referenced in 393 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • XVCL

  • Referenced in 8 articles [sw02100]
  • XVCL: a mechanism for handling variants in software...
  • CASL

  • Referenced in 172 articles [sw02235]
  • The specification language developed by CoFI is called...
  • UEML

  • Referenced in 29 articles [sw02332]
  • UEML: towards a unified enterprise modelling language. The...
  • MOVE

  • Referenced in 3 articles [sw02550]
  • MOVE: A distributed framework for materialized ontology view...
  • PDTBR

  • Referenced in 1 article [sw03066]
  • Workflow process definition tool based on reuse -- PDTBR...
  • CLOS

  • Referenced in 51 articles [sw03334]
  • An environment for DEVS-based multiformalism simulation in...
  • SMIL

  • Referenced in 41 articles [sw03378]
  • This document specifies the third version of the...