Sciweavers

2181 search results - page 57 / 437
» Ontologies and Description Logics
Sort
View
CADE
1998
Springer
15 years 2 months ago
System Description: LEO - A Higher-Order Theorem Prover
Christoph Benzmüller, Michael Kohlhase
CADE
2006
Springer
15 years 1 months ago
System Description: GCLCprover + GeoThms
Predrag Janicic, Pedro Quaresma
IJCAI
2007
14 years 11 months ago
A Logical Framework for Modularity of Ontologies
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and ...
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazako...
MEDINFO
2007
112views Healthcare» more  MEDINFO 2007»
14 years 11 months ago
SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions
After a critical review of the present architecture of SNOMED CT, addressing both logical and ontological issues, we present a roadmap towards an overall improvement of this termi...
Stefan Schulz, Boontawee Suntisrivaraporn, Franz B...
RR
2009
Springer
15 years 4 months ago
Distributed Resolution for Expressive Ontology Networks
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...
Anne Schlicht, Heiner Stuckenschmidt