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