421 search results - page 3 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
WWW
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents SOFIE, a system for automated ontology extension. SOFIE can parse natural language documents, extract ontological facts from them and link the facts into an on...
122
click to vote
IMCSIT
2010
14 years 8 months ago
2010
Breast cancer is the second most common form of cancer amongst females and also the fifth most cause of cancer deaths worldwide. In case of this particular type of malignancy, earl...
EWCBR
2006
Springer
15 years 2 months ago
2006
Springer
100
click to vote
DLOG
2010
14 years 9 months ago
2010
We describe Orel, a reasoning system for an ontology language which subsumes both the EL and the RL profile of the recently standardised web ontology language OWL 2. Orel performs ...
CADE
2006
Springer
15 years 11 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...