141 search results - page 29 / 29 » The rational numbers as an abstract data type |
DLOG
2010
13 years 2 months ago
2010
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...