OilEd
From MaRDI portal
Software:14266
swMATH1560MaRDI QIDQ14266FDOQ14266
Author name not available (Why is that?)
Cited In (23)
- Title not available (Why is that?)
- Selection of hydrocarbon variables to assess reduction of residual oil on nutrient enriched beaches
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Foundations of Information and Knowledge Systems
- An experimental ontology server for an information grid environment
- Extensions of non-standard inferences to description logics with transitive roles
- Title not available (Why is that?)
- Reasoning in Description Logics: Basics, Extensions, and Relatives
- Journal on Data Semantics II
- Automated Reasoning
- Mechanizing Mathematical Reasoning
- A translation characterizing the constructive content of classical theories
- Title not available (Why is that?)
- Computing the least common subsumer w.r.t. a background terminology
- A methodology to migrate the gene ontology to a description logic environment using DAML+OIL
- Ontologies in bioinformatics and systems biology
- Ontologies in a multi-agent system for automated scheduling
- Interpolation problems for Schur multipliers on the Drury--Arveson space: from Nevanlinna--Pick to abstract interpolation problem
- Creation and merging of ontology top-levels
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for software: OilEd
