1285 search results - page 57 / 257 » Description Logic Reasoner: System Description |
113
click to vote
DLOG
2007
15 years 3 months ago
2007
Abstract. In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve thi...
116
click to vote
DLOG
2008
15 years 3 months ago
2008
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represe...
120
click to vote
AAAI
2007
15 years 3 months ago
2007
Forgetting irrelevant/problematic actions in a domain description can be useful in solving reasoning problems, such as query answering, planning, conflict resolution, prediction,...
129
Voted
DLOG
2009
14 years 11 months ago
2009
Abstract. We describe OntoComP, a Prot
159
click to vote
IADIS
2004
15 years 2 months ago
2004
OWL DL, being established by W3C, is a Knowledge Representation Markup Language for the Semantic Web. OWL DL is a new synthesis of research on KRML for the Semantic Web, which nee...