367 search results - page 12 / 74 » Hybrid Logics and Ontology Languages |
WSPI
2004
15 years 1 months ago
2004
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
SIS
2007
15 years 1 months ago
2007
Ontologies represent knowledge in a particular area. Intellectual Property (IP) Entities lifecycle lacks any explicit standard representation, and a semantic expression of its proc...
118
click to vote
FOIKS
2006
Springer
15 years 3 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...