4617 search results - page 662 / 924 » Automation of Diagrammatic Reasoning |
234
click to vote
RR
2010
Springer
15 years 5 months ago
2010
Springer
We present an extension of the DLVHEX system to support RIF-Core, a dialect of W3C’s Rule Interchange Format (RIF), as well as combinations of RIF-Core and OWL2RL ontologies. DLV...
250
click to vote
DLOG
2009
15 years 5 months ago
2009
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...
197
click to vote
DLOG
2009
15 years 5 months ago
2009
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...
212
click to vote
ICLP
2005
Springer
16 years 25 days ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
206
click to vote
LOGCOM
2007
15 years 7 months ago
2007
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...