Sciweavers

2181 search results - page 57 / 437
» Ontologies and Description Logics
Sort
View
CADE
1998
Springer
15 years 10 months ago
System Description: LEO - A Higher-Order Theorem Prover
Christoph Benzmüller, Michael Kohlhase
CADE
2006
Springer
15 years 10 months ago
System Description: GCLCprover + GeoThms
Predrag Janicic, Pedro Quaresma
IJCAI
2007
15 years 7 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»
15 years 7 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
16 years 20 days 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