OilEd: A reason-able ontology editor for the semantic web Ontologies will play a pivotal r^ole in the “Semantic Web”, where they will provide a source of precisely defined terms that can be communicated across people and applications. OilEd, is an ontology editor that has an easy to use frame interface, yet at the same time allows users to exploit the full power of an expressive web ontology language (OIL). OilEd uses reasoning to support ontology design, facilitating the development of ontologies that are both more detailed and more accurate.

References in zbMATH (referenced in 24 articles , 1 standard article )

Showing results 1 to 20 of 24.
Sorted by year (citations)

1 2 next

  1. Ball, Joseph A.; Bolotnikov, Vladimir: Interpolation problems for Schur multipliers on the Drury--Arveson space: from Nevanlinna--Pick to abstract interpolation problem (2008)
  2. Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin: Computing the least common subsumer w.r.t. a background terminology (2007)
  3. Sattler, Ulrike: Reasoning in description logics: Basics, extensions, and relatives (2007)
  4. Aiello, A.; Furnari, M.Mango; Massarotti, A.; Brandi, S.; Caputo, V.; Barone, V.: An experimental ontology server for an information grid environment (2006)
  5. Baader, Franz; Küsters, Ralf: Nonstandard inferences in description logics: the story so far (2006)
  6. Horrocks, Ian; Voronkov, Andrei: Reasoning support for expressive ontology languages using a theorem prover (2006)
  7. Baader, Franz; Horrocks, Ian; Sattler, Ulrike: Description logics as ontology languages for the semantic web (2005)
  8. Volz, Raphael; Staab, Steffen; Motik, Boris: Incrementally maintaining materializations of ontologies stored in logic databases (2005)
  9. Gonzalez, Evelio J.; Hamilton, Alberto F.; Moreno, Lorenzo; Marichal, Roberto L.; Toledo, Jonay: Ontologies in a multi-agent system for automated scheduling (2004)
  10. Lambrix, Patrick: Ontologies in bioinformatics and systems biology (2004)
  11. Turhan, Anni-Yasmin; Kissig, Christian: Sonic -- non-standard inferences go OilEd (2004)
  12. Baaz, Matthias; Fermüller, Christian G.: A translation characterizing the constructive content of classical theories (2003)
  13. Brandt, Sebastian; Turhan, Anni-Yasmin; Küsters, Ralf: Extensions of non-standard inferences to description logics with transitive roles (2003)
  14. Ganter, Bernhard; Stumme, Gerd: Creation and merging of ontology top-levels (2003)
  15. Sure, York; Angele, Juergen; Staab, Steffen: OntoEdit: multifaceted inferencing for ontology engineering (2003)
  16. Bonham, Charles D.: Selection of hydrocarbon variables to assess reduction of residual oil on nutrient enriched beaches (2002)
  17. Felfernig, Alexander; Friedrich, Gerhard; Jannach, Dietmar; Zanker, Markus: Semantic configuration web services in the CAWICOMS project (2002)
  18. Horrocks, Ian: Reasoning with expressive description logics: Theory and practice (2002)
  19. Omelayenko, Borys: Integrating vocabularies: Discovering and representing vocabulary maps (2002)
  20. Sure, York; Angele, Juergen; Staab, Steffen: OntoEdit: Guiding ontology development by methodology and inferencing (2002)

1 2 next