Sciweavers

1176 search results - page 2 / 236
» Description Logics as Ontology Languages for the Semantic We...
Sort
View
CADE
2002
Springer
14 years 4 months ago
Reasoning with Expressive Description Logics: Theory and Practice
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
Ian Horrocks
IJCAI
2001
13 years 5 months ago
Ontology Reasoning in the SHOQ(D) Description Logic
Ontologies are set to play a key r^ole in the "Semantic Web" by providing a source of shared and precisely defined terms that can be used in descriptions of web resource...
Ian Horrocks, Ulrike Sattler
EKAW
2008
Springer
13 years 6 months ago
On the Influence of Description Logics Ontologies on Conceptual Similarity
Similarity measures play a key role in the Semantic Web perspective. Indeed, most of the ontology related operations such as ontology learning, ontology alignment, ontology ranking...
Claudia d'Amato, Steffen Staab, Nicola Fanizzi
KCAP
2003
ACM
13 years 9 months ago
Modularisation of domain ontologies implemented in description logics and related formalisms including OWL
Modularity is a key requirement for large ontologies in order to achieve re-use, maintainability, and evolution. Mechanisms for ‘normalisation’ to achieve analogous aims are s...
Alan L. Rector
FUIN
2008
116views more  FUIN 2008»
13 years 4 months ago
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Many popular ontology languages are based on (subsets of) first-order predicate logic, with classes represented by unary predicates and properties by binary predicates. Specificall...
Jos de Bruijn, Stijn Heymans