3032 search results - page 27 / 607 » Description Logic Rules |
JAIR
2002
14 years 9 months ago
2002
CADE
1999
Springer
15 years 1 months ago
1999
Springer
110
click to vote
IDEAS
2009
IEEE
15 years 4 months ago
2009
IEEE
RDFKB (Resource Description Framework Knowledge Base) is a relational database system for RDF datasets which supports inference and knowledge management. Significant research has ...
ICTAI
2007
IEEE
15 years 4 months ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...
DLOG
2001
14 years 11 months ago
2001
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized ...