The Form in Formal Thought Disorder: A Model of Dyssyntax in Semantic Networking
Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal ...
Farshad Badie, Luis M. Augusto
doaj +1 more source
f-SHOIQN:a fuzzy and non-monotonic description logic [PDF]
There is a lot of fuzzy and non-monotonic knowledge in the semantic Web,which cannot be expressed by the current description logic.Aiming at the problem,this paper adds weak negative constructor and proposes a fuzzy and non-monotonic description logic f ...
WANG Xing,ZHAO Qiaoxia,CHEN Ji,LI Jia
doaj +1 more source
An ontology design for validating childhood cancer registry data
Ontologies can provide a valuable role in the work of cancer registration, particularly as a tool for managing and navigating the various classification systems and coding rules.
Nicholas Nicholson +2 more
doaj +1 more source
Plausible Description Logic Programs for Stream Reasoning
Sensor networks are estimated to drive the formation of the future Internet, with stream reasoning responsible for analysing sensor data. Stream reasoning is defined as real time logical reasoning on large, noisy, heterogeneous data streams, aiming to ...
Ioan Alfred Letia, Adrian Groza
doaj +1 more source
A Description Logic of Typicality for Conceptual Combination [PDF]
We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling.
A Lieto +12 more
core +1 more source
The semantics of similarity in geographic information retrieval
Similarity measures have a long tradition in fields such as information retrieval, artificial intelligence, and cognitive science. Within the last years, these measures have been extended and reused to measure semantic similarity; i.e., for comparing ...
Krzysztof Janowicz +2 more
doaj +1 more source
Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics [PDF]
Belief revision of knowledge bases represented by a set of sentences in a given logic has been extensively studied but for specific logics, mainly propositional, and also recently Horn and description logics. Here, we propose to generalize this operation
Aiguier, Marc +3 more
core +5 more sources
The volume profile method and its theoretical connection with microeconomic theory as the main premise of its application [PDF]
Research background: This article was conceived as a very valuable basis and the result of theoretical research in the field of microeconomics with a specific application.
Chutka Jan
doaj +1 more source
Towards a generation-based semantic web authoring tool [PDF]
Widespread use of Semantic Web technologies requires interfaces through which knowledge can be viewed and edited without deep understanding of Description Logic and formalisms like OWL and RDF.
Power, Richard
core +3 more sources
Reasoning with Individuals for the Description Logic SHIQ [PDF]
While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered.
Horrock, Ian +2 more
core +4 more sources

