anaesthesiology anomalies anytime approximate architectures bibliographic boolean browser case study classification rules complexity computing daml+oil data validation diagnoses diagnosis diagnostic reasoning document repositories domain experts domain knowledge dope elsevier formal language formal logic formal specification formal specification languages formal specifications functional specification gene expression generic architecture inconsistent inference informal knowledge information system information visualization infrastructure integration kads models kbs knowledge acquistion knowledge based systems knowledge engineering knowledge level knowledge level models knowledge management knowledge representation knowledge web language overview language reference languages light weight linguistic patterns logical definitions medical guidelines medical ontologies medical protocols medical quality meta data meta level meta level systems metadata metadata model modelling motivations new research oil ontologies ontology ontology language owl parametric design partial evaluation peer to peer systems peer to peer technology performance performance profiles problem solving problem solving methods proforma protocols psm pubmed search quality indicators quantitative analysis query languages questions and answers rdf rdf schema realistic case study reflection research agenda rule base schema languages semantic semantic translation semantic web semantic web applications semantics semistructured data sesame software components specification languages structure preserving survey tools torture tests translating validation verification and validation visualisation web applications web based web based information systems web enabled web ontology web pages web services webmaster xml xml schema