Why description logics are decidable but first order logics not decidable? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)What is a decidable fragment?Relationship between propositional logic, first-order logic, second-order logic higher-order logic, and type theoryFirst Order Logicconfusion about 2 first order logic wff's - they seem not equal, but instructor says they are =Formalizing the meta-language of First order Logic and studying it as a formal systemIs two-variable first order logic (with equality) decidable?Help with First Order LogicFirst-Order Logic and Set theoryFirst Order Logic clauses decidabilitySemi-decidability of First Order LogicWhat is a decidable fragment?
I'm having difficulty getting my players to do stuff in a sandbox campaign
What kind of display is this?
Why does this iterative way of solving of equation work?
Can the prologue be the backstory of your main character?
Direct Experience of Meditation
How is simplicity better than precision and clarity in prose?
Autumning in love
What LEGO pieces have "real-world" functionality?
Communication vs. Technical skills ,which is more relevant for today's QA engineer positions?
How to stop my camera from exagerrating differences in skin colour?
Can a 1st-level character have an ability score above 18?
What computer would be fastest for Mathematica Home Edition?
What items from the Roman-age tech-level could be used to deter all creatures from entering a small area?
What is the electric potential inside a point charge?
Does the STL have a way to apply a function before calling less than?
When communicating altitude with a '9' in it, should it be pronounced "nine hundred" or "niner hundred"?
Writing Thesis: Copying from published papers
How do I automatically answer y in bash script?
How to retrograde a note sequence in Finale?
What would be Julian Assange's expected punishment, on the current English criminal law?
A constraint that implies convexity
How to dynamically generate the hash value of a file while it gets downloaded from any website?
How many spell slots should a Fighter 11/Ranger 9 have?
How to rotate it perfectly?
Why description logics are decidable but first order logics not decidable?
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)What is a decidable fragment?Relationship between propositional logic, first-order logic, second-order logic higher-order logic, and type theoryFirst Order Logicconfusion about 2 first order logic wff's - they seem not equal, but instructor says they are =Formalizing the meta-language of First order Logic and studying it as a formal systemIs two-variable first order logic (with equality) decidable?Help with First Order LogicFirst-Order Logic and Set theoryFirst Order Logic clauses decidabilitySemi-decidability of First Order LogicWhat is a decidable fragment?
$begingroup$
They say description logics are a fragment of first order logics(FOL) but description logics are decidable but FOL are not decidable. Why is that? can i have elaborated explanation with examples? thanks
first-order-logic
asked Mar 31 at 18:05
shahshah
1
$endgroup$
add a comment |
$begingroup$
They say description logics are a fragment of first order logics(FOL) but description logics are decidable but FOL are not decidable. Why is that? can i have elaborated explanation with examples? thanks
first-order-logic
asked Mar 31 at 18:05
shahshah
1
$endgroup$
$begingroup$
Welcome to Math.SE! It's more likely for you to get a better answer if you are more specific on what you know and on your doubt. See also a related question.
$endgroup$
– Ertxiem
Mar 31 at 18:31
add a comment |
$begingroup$
They say description logics are a fragment of first order logics(FOL) but description logics are decidable but FOL are not decidable. Why is that? can i have elaborated explanation with examples? thanks
first-order-logic
asked Mar 31 at 18:05
shahshah
1
$endgroup$
They say description logics are a fragment of first order logics(FOL) but description logics are decidable but FOL are not decidable. Why is that? can i have elaborated explanation with examples? thanks
first-order-logic
first-order-logic
asked Mar 31 at 18:05
shahshah
1
asked Mar 31 at 18:05
shahshah
1
asked Mar 31 at 18:05
shahshah
1
asked Mar 31 at 18:05
shahshah
1
asked Mar 31 at 18:05
shahshah
1
1
$begingroup$
Welcome to Math.SE! It's more likely for you to get a better answer if you are more specific on what you know and on your doubt. See also a related question.
$endgroup$
– Ertxiem
Mar 31 at 18:31
add a comment |
$begingroup$
Welcome to Math.SE! It's more likely for you to get a better answer if you are more specific on what you know and on your doubt. See also a related question.
$endgroup$
– Ertxiem
Mar 31 at 18:31
$begingroup$
Welcome to Math.SE! It's more likely for you to get a better answer if you are more specific on what you know and on your doubt. See also a related question.
$endgroup$
– Ertxiem
Mar 31 at 18:31
$begingroup$
Welcome to Math.SE! It's more likely for you to get a better answer if you are more specific on what you know and on your doubt. See also a related question.
$endgroup$
– Ertxiem
Mar 31 at 18:31
add a comment |
0
active
oldest
votes
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3169706%2fwhy-description-logics-are-decidable-but-first-order-logics-not-decidable%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3169706%2fwhy-description-logics-are-decidable-but-first-order-logics-not-decidable%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
Welcome to Math.SE! It's more likely for you to get a better answer if you are more specific on what you know and on your doubt. See also a related question.
$endgroup$
– Ertxiem
Mar 31 at 18:31