Cited in
(33)- Mechanizing Mathematical Reasoning
- Interpolation problems for Schur multipliers on the Drury--Arveson space: from Nevanlinna--Pick to abstract interpolation problem
- Selection of hydrocarbon variables to assess reduction of residual oil on nutrient enriched beaches
- Extensions of non-standard inferences to description logics with transitive roles
- Ontologies in bioinformatics and systems biology
- scientific article; zbMATH DE number 2090284 (Why is no real title available?)
- Creation and merging of ontology top-levels
- scientific article; zbMATH DE number 2088794 (Why is no real title available?)
- Computing the least common subsumer w.r.t. a background terminology
- Foundations of Information and Knowledge Systems
- A translation characterizing the constructive content of classical theories
- Journal on Data Semantics II
- Reasoning in Description Logics: Basics, Extensions, and Relatives
- TELOS
- OntoEdit
- DAML+OIL
- CAWICOMS
- An experimental ontology server for an information grid environment
- Racer
- APECKS
- Protege
- Sonic
- WebODE
- SUMO
- Automated Reasoning
- A methodology to migrate the gene ontology to a description logic environment using DAML+OIL
- scientific article; zbMATH DE number 5037197 (Why is no real title available?)
- scientific article; zbMATH DE number 2088351 (Why is no real title available?)
- scientific article; zbMATH DE number 2088352 (Why is no real title available?)
- scientific article; zbMATH DE number 1948205 (Why is no real title available?)
- scientific article; zbMATH DE number 1947744 (Why is no real title available?)
- Ontologies in a multi-agent system for automated scheduling
- scientific article; zbMATH DE number 2088350 (Why is no real title available?)
This page was built for software: OilEd
