Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
ACM Transactions on Database Systems (TODS)
Combining Horn rules and description logics in CARIN
Artificial Intelligence
Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Semantic Networks in Artificial Intelligence
Semantic Networks in Artificial Intelligence
IEEE Transactions on Knowledge and Data Engineering
Reasoning and Unification over Conceptual Graphs
Reasoning and Unification over Conceptual Graphs
The Description Logic Handbook
The Description Logic Handbook
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Structured objects in owl: representation and reasoning
Proceedings of the 17th international conference on World Wide Web
The model of roles within an ontology development tool: Hozo
Applied Ontology - Roles, an interdisciplinary perspective
Web Semantics: Science, Services and Agents on the World Wide Web
Representation and Management of Narrative Information: Theoretical Principles and Implementation
Representation and Management of Narrative Information: Theoretical Principles and Implementation
A Reusable Ontology for Fluents in OWL
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4
Question answering using ontological semantics
TextMean '04 Proceedings of the 2nd Workshop on Text Meaning and Interpretation
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
Reconciling description logics and rules
Journal of the ACM (JACM)
Extending OWL for Modeling Event-oriented Ontology
CISIS '10 Proceedings of the 2010 International Conference on Complex, Intelligent and Software Intensive Systems
When owl: sameAs isn't the same: an analysis of identity in linked data
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
DeLorean: A reasoner for fuzzy OWL 2
Expert Systems with Applications: An International Journal
International Journal of Metadata, Semantics and Ontologies
Integrating the two main inference modes of NKRL, transformations and hypotheses
Journal on Data Semantics IV
A realistic architecture for the semantic web
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Hi-index | 12.05 |
After having recalled some well-known shortcomings linked with the Semantic Web approach to the creation of (application oriented) systems of ''rules'' - e.g., limited expressiveness, adoption of an Open World Assumption (OWA) paradigm, absence of variables in the original definition of OWL - this paper examines the technical solutions successfully used for implementing advanced reasoning systems according to the NKRL's methodology. NKRL (Narrative Knowledge Representation Language) is a conceptual meta-model and a Computer Science environment expressly created to deal, in an 'intelligent' and complete way, with complex and content-rich non-fictional 'narrative' data sources. These last include corporate memory documents, news stories, normative and legal texts, medical records, surveillance videos, actuality photos for newspapers and magazines, etc. In this context, we will expound first the need for distinguishing between ''plain/static'' and ''structured/dynamic'' knowledge and for introducing appropriate (and different) knowledge representation structures for these two types of knowledge. In a structured/dynamic context, we will then show how the introduction of ''functional roles'' - associated with the possibility of making use of n-ary structures - allows us to build up highly 'expressive' rules whose ''atoms'' can directly represent complex situations, actions, etc. without being restricted to the use of binary clauses. In an NKRL context, ''functional roles'' are primitive symbols interpreted as ''relations'' - like ''subject'', ''object'', ''source'', ''beneficiary'', etc. - that link a semantic predicate with its arguments within an n-ary conceptual formula. Functional roles contrast then with the ''semantic roles'' that are equated to ordinary concepts like ''student'', to be inserted into the ''non-sortal'' (no direct instances) branch of a traditional ontology.