149 search results - page 7 / 30 » XPath for DL Ontologies |
125
click to vote
DLOG
2009
15 years 1 months ago
2009
The CEL system is known for its scalability of reasoning in the lightweight DL EL++ which has been proved suitable for several ontology applications, most notably from the life sci...
133
Voted
TABLEAUX
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
136
click to vote
DLOG
2010
15 years 1 months ago
2010
Abstract. A usage scenario of bio-ontologies is hypothesis testing, such as finding relationships or new subconcepts in the data linked to the ontology. Whilst validating the hypot...
118
click to vote
SWAP
2008
15 years 4 months ago
2008
The definition of new concepts or roles for which extensional knowledge become available can turn out to be necessary to make a DL ontology evolve. In this paper we reformulate thi...
135
Voted
ESWS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Changing a consistent ontology may turn the ontology into an inconsistent state. It is the task of an approach supporting ontology evolution to ensure an ontology evolves...