Bibsonomy :: author :: Tobies ::

tag user group author concept BibTeX key search:all

A blue social bookmark and publication sharing system.

tags · relations · groups · popular	help · blog · about
username: password: myFriends myRelations mySearch myPDF myDuplicates myBibTeX	login · register

bookmarks

XML

publications

(2)

BibTeX

RDF

other export options

previous | 1 | next

A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions

Ian Horrocks and Ulrike Sattler and Stephan Tobies (1999)
to description logic transitive by aljsanchez on 2007-11-11 03:33:45
| URL | BibTeX
Practical Reasoning for Expressive Description Logics

Ian Horrocks and Ulrike Sattler and Stephan Tobies Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99) 161--180 (1999)
to description logic by aljsanchez and 3 other people on 2007-11-08 11:12:57
| URL | BibTeX

previous | 1 | next

Showing 10 items per page. Show 10, 25, 50, 100 items per page.