sign in · help · news · about ·

BibSonomy :: user :: ontorule ::

tag user group author concept BibTeX key search:all search:ontorule

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(5)

<< < 1 > >>

FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
Thomas Eiter, and Mantas Simkus Transactions on Computational Logic TOCL (April 2010)Article 14 50 + 16 pages .
to logics ontorule by ontorule and 1 other user on Mar 2, 2011, 9:45 AM
BibTeX (0)
Logical Foundations of RDFS with Datatypes
Jos de Bruijn, and Stijn Heymans Journal of Artificial Intelligence Research JAIR (2010)Accepted for Publication .
to logics ontorule by ontorule and 1 other user on Mar 2, 2011, 9:42 AM
URL | BibTeX (0)
Regular path queries in expressive description logics with nominals
D. Calvanese, T. Eiter, and M. Ortiz Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009. (July 2009)
to description logics ontologies ontorule reasoning regular by ontorule and 1 other user on Mar 29, 2010, 4:38 PM
URL | BibTeX (0)
Query answering in description logics with transitive roles
T. Eiter, C. Lutz, M. Ortiz, and M. Simkus. Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009. (July 2009)
to description logics ontologies ontorule query roles by ontorule and 1 other user on Mar 29, 2010, 4:36 PM
URL | BibTeX (0)
Effective Query Rewriting with Ontologies over DBoxes
Enrico Franconi, Inanç Seylan, and Jos de Bruijn (2009)
to Description Logics Ontologies Query Rewriting databases ontorule by ontorule and 1 other user on Mar 10, 2010, 5:04 PM
URL | BibTeX (0)

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper