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

(28)

<< < 1 | 2 > >>

Ontology Design and Integration with ICOM 3.0 - Tool Description and Methodology.
Pablo R. Fillottrani, Enrico Franconi, and Sergio Tessaris Description Logics, volume 745 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)
to ontorule by ontorule and 1 other user on Jan 9, 2012, 10:47 AM
URL | BibTeX (0)
An Environment for the Joint Management of Written Policies and Business Rules.
François Levy, Abdoulaye Guisse, Adeline Nazarenko, Nouha Omrane, and Sylvie Szulman ICTAI 2, page 142-149. IEEE Computer Society, (2010)
to ontorule rules by ontorule and 1 other user on Mar 4, 2011, 9:52 AM
URL | BibTeX (0)
Dealing with Inconsistency when Combining Ontologies and Rules using DL-Programs
Jörg Pührer, Stijn Heymans, and Thomas Eiter Proc. of 7th Extended Semantic Web Conference ESWC 2010, volume 6088 of Lecture Notes in Computer Science, page 183-197. Springer Berlin / Heidelberg, (2010)
to ontologies ontorule reasoning rules by ontorule and 2 other users on Mar 2, 2011, 10:10 AM
URL | BibTeX (0)
Proceedings of the 1st International Workshop on Business Models, Business Rules and Ontologies BuRO 2010, co-located RR2010 Workshop, September 21, 2010
Thomas Eiter, Adil El Ghali, Sergio Fernàndez, Stijn Heymans, Thomas Krennwallner, and François Lévy (Eds.). Ontorule Consortium, (2010)Available at http://ontorule-project.eu/attachments/075_buro2010-proceedings.pdf .
to ontologies ontorule rules by ontorule on Mar 2, 2011, 10:09 AM
BibTeX (0)
F-Logic#: Loosely Coupling F-Logic Rules and Ontologies
Stijn Heymans, Roman Korf, Michael Erdmann, Jörg Pührer, and Thomas Eiter Proc. of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 1, page 248--255. (2010)
to ontologies ontorule reasoning rules by ontorule and 2 other users on Mar 2, 2011, 10:05 AM
BibTeX (0)
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)
Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers
Guohui Xiao, Zuoquan Lin, Yue Ma, and Guilin Qi KR, (2010)
to ontorule by ontorule and 3 other users on Feb 16, 2011, 10:09 AM
URL | BibTeX (0)
Query Answering in the Description Logic S
Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, and Mantas Simkus Proceedings of the 23rd International Workshop on Description Logics DL2010, (2010)
to 2010 ontorule wp3 by ontorule and 2 other users on Feb 16, 2011, 10:06 AM
URL | BibTeX (0)
Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
Magdalena Ortiz, Sebastian Rudolph, and Mantas Simkus Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference KR-10, page 269-279. AAAI Press, (May 2010)
to 2010 ontorule wp3 by ontorule and 3 other users on Feb 16, 2011, 10:04 AM
URL | BibTeX (0)
Authoring Business Rules grounded in OWL Ontologies.
A. Chniti, S. Dehors, P. Albert, and J. Charlet RuleML 2010 : The 4th International Web Rule Symposium: Research Based and Industry Focused, LNCS 6403, Springer-Verlag Berlin Heidelberg 2010, (2010)
to ontorule by ontorule on Feb 16, 2011, 10:00 AM
URL | BibTeX (0)
DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs
Guohui Xiao, Stijn Heymans, and Thomas Eiter 1st International Workshop on Business Models, Business Rules and Ontologies BuRO 2010, (September 2010)
to 2010 ontorule refereedpub by ontorule and 1 other user on Feb 11, 2011, 12:17 PM
URL | BibTeX (0)
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
Stijn Heymans, Thomas Eiter, and Guohui Xiao Proc. of 19th European Conference on Artificial Intelligence ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 35--40. IOS Press, (2010)
to 2010 myown ontorule refereedpub wp3 by ontorule and 3 other users on Feb 11, 2011, 8:49 AM
URL | BibTeX (0)
Well-Founded Semantics for Description Logic Programs in the Semantic Web
Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, and Roman Schindlauer. (2009)
to hybrid ontologies ontorule reasoning rules by ontorule on Mar 29, 2010, 5:03 PM
URL | BibTeX (0)
Hybrid reasoning with rules and ontologies
W. Drabent, T. Eiter, G. Ianni, T. Krennwallner, T. Lukasiewicz, and J. Maluszynski. Semantic Techniques for the Web (July 2009)
to hybrid ontologies ontorule reasoning rules by ontorule and 1 other user on Mar 29, 2010, 4:58 PM
URL | BibTeX (0)
Realizing Default Logic over Description Logic Knowledge Bases
Minh Dao-Tran, Thomas Eiter, and Thomas Krennwallner Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU 2009, Verona, Italy, July 1--3, 2009, page 602-613. Springer, (2009)Forthcoming .
to ontorule by ontorule and 1 other user on Mar 29, 2010, 4:54 PM
URL | BibTeX (0)
Decomposition of declarative knowledge bases with external functions
T. Eiter, M. Fink, and T. Krennwallner Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009. (2009)
to ontorule by ontorule and 1 other user on Mar 29, 2010, 4:48 PM
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)
Bidirectional answer set programs with function symbols
M. Simkus, and T. Eiter Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009. (July 2009)
to artificial function ontorule by ontorule and 2 other users on Mar 29, 2010, 4:22 PM
URL | BibTeX (0)

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